Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | glue.web | 17110 | logplain |
-rw-r--r-- | tex.web | 1030715 | logplain |
-rw-r--r-- | texbook.tex | 1384511 | logplain |
-rw-r--r-- | trip.fot | 2444 | logplain |
-rw-r--r-- | trip.log | 183969 | logplain |
-rw-r--r-- | trip.pl | 16990 | logplain |
-rw-r--r-- | trip.tex | 22676 | logplain |
-rw-r--r-- | trip.tfm | 3116 | logplain |
-rw-r--r-- | trip.typ | 18060 | logplain |
-rw-r--r-- | tripin.log | 12899 | logplain |
-rw-r--r-- | tripman.tex | 19342 | logplain |
-rw-r--r-- | tripos.tex | 59 | logplain |