| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| glue.web | 17K | 11-Jan-2021 08:34 |
| tex.web | 1008K | 05-Feb-2021 05:38 |
| texbook.tex | 1M | 26-Jan-2021 16:24 |
| trip.dvi | 2920 | 26-Jan-2021 10:21 |
| trip.fot | 2445 | 26-Jan-2021 10:21 |
| trip.log | 180K | 05-Feb-2021 23:00 |
| trip.pl | 17K | 06-Oct-1989 16:35 |
| trip.tex | 22K | 14-Jan-2021 22:12 |
| trip.tfm | 3116 | 21-Dec-2002 01:07 |
| trip.typ | 18K | 26-Jan-2021 10:21 |
| tripin.fot | 2834 | 26-Jan-2021 10:21 |
| tripin.log | 13K | 26-Jan-2021 10:21 |
| tripman.tex | 19K | 13-Jan-1992 23:55 |
| tripos.tex | 59 | 26-Jan-1992 06:09 |