| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .cvsignore | 47 | logplain |
| -rw-r--r-- | Makefile | 358 | logplain |
| -rw-r--r-- | blurb.but | 642 | logplain |
| -rw-r--r-- | input.but | 43357 | logplain |
| -rw-r--r-- | intro.but | 1705 | logplain |
| -rw-r--r-- | licence.but | 1184 | logplain |
| -rw-r--r-- | output.but | 22963 | logplain |
| -rw-r--r-- | running.but | 2159 | logplain |