Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | mf.web | 919408 | logplain |
-rw-r--r-- | mfbook.tex | 944165 | logplain |
-rw-r--r-- | trap.72270gf | 1028 | logplain |
-rw-r--r-- | trap.fot | 1711 | logplain |
-rw-r--r-- | trap.log | 121710 | logplain |
-rw-r--r-- | trap.mf | 11899 | logplain |
-rwxr-xr-x | trap.pl | 10388 | logplain |
-rw-r--r-- | trap.typ | 4552 | logplain |
-rw-r--r-- | trapin.fot | 2303 | logplain |
-rw-r--r-- | trapin.log | 4593 | logplain |
-rw-r--r-- | trapman.tex | 18248 | logplain |