Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | glue.web | 17104 | logplain |
-rw-r--r-- | tex.web | 1031999 | logplain |
-rw-r--r-- | texbook.tex | 1386369 | logplain |
-rw-r--r-- | trip.dvi | 2920 | logplain |
-rw-r--r-- | trip.fot | 2445 | logplain |
-rw-r--r-- | trip.log | 184018 | logplain |
-rw-r--r-- | trip.pl | 16990 | logplain |
-rw-r--r-- | trip.tex | 22677 | logplain |
-rw-r--r-- | trip.tfm | 3116 | logplain |
-rw-r--r-- | trip.typ | 18060 | logplain |
-rw-r--r-- | tripin.fot | 2834 | logplain |
-rw-r--r-- | tripin.log | 12900 | logplain |
-rw-r--r-- | tripman.tex | 19342 | logplain |
-rw-r--r-- | tripos.tex | 59 | logplain |