| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| tripos.tex | 59 | 1992-Jan-26 15:09 | |
| tripman.tex | 19342 | 1992-Jan-14 08:55 | |
| tripin.log | 12900 | 2021-Jan-26 19:21 | |
| tripin.fot | 2834 | 2021-Jan-26 19:21 | |
| trip.typ | 18060 | 2021-Jan-26 19:21 | |
| trip.tfm | 3116 | 2002-Dec-21 10:07 | |
| trip.tex | 22677 | 2021-Jan-15 07:12 | |
| trip.pl | 16990 | 1989-Oct-07 01:35 | |
| trip.log | 184018 | 2021-Feb-06 08:00 | |
| trip.fot | 2445 | 2021-Jan-26 19:21 | |
| trip.dvi | 2920 | 2021-Jan-26 19:21 | |
| texbook.tex | 1386369 | 2021-Jan-27 01:24 | |
| tex.web | 1031999 | 2021-Feb-05 14:38 | |
| glue.web | 17104 | 2021-Jan-11 17:34 | |