Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .version | 5 | logplain |
-rw-r--r-- | COPYING | 1308 | logplain |
-rw-r--r-- | auxfile | 1579 | logplain |
d--------- | ex | 1325 | logplain |
-rw-r--r-- | helpfile | 1209 | logplain |
d--------- | manual | 1283 | logplain |
-rwxr-xr-x | menudriver.csh | 3850 | logplain |
-rwxr-xr-x | menudriver.sh | 3536 | logplain |
-rw-r--r-- | prelude | 4226 | logplain |
-rw-r--r-- | stdenv.m | 27009 | logplain |