| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .cvsignore | 47 | logplain |
| -rw-r--r-- | Makefile | 351 | logplain |
| -rw-r--r-- | blurb.but | 618 | logplain |
| -rw-r--r-- | input.but | 43157 | logplain |
| -rw-r--r-- | intro.but | 1705 | logplain |
| -rw-r--r-- | licence.but | 1184 | logplain |
| -rw-r--r-- | running.but | 2159 | logplain |