Mode | Name | Size | |
---|---|---|---|
d--------- | errata | 1037 | logplain |
-rw-r--r-- | errorlog.tex | 151769 | logplain |
-rw-r--r-- | expr.mf | 183 | logplain |
-rw-r--r-- | index.html | 7119 | logplain |
-rw-r--r-- | io.mf | 857 | logplain |
-rw-r--r-- | mfman.mf | 72673 | logplain |
-rw-r--r-- | primes.web | 18385 | logplain |
-rw-r--r-- | story.tex | 412 | logplain |
-rw-r--r-- | trap.mf | 11899 | logplain |
-rw-r--r-- | trap.pl | 10388 | logplain |
-rw-r--r-- | trapman.tex | 18248 | logplain |
-rw-r--r-- | trip.pl | 16990 | logplain |
-rw-r--r-- | trip.tex | 22676 | logplain |
-rw-r--r-- | tripman.tex | 19342 | logplain |
-rw-r--r-- | web.tex | 73288 | logplain |
-rw-r--r-- | webman.tex | 89145 | logplain |