| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| trip.pl | 16.6 KiB | 1989-Oct-07 00:35 |
| tripman.tex | 18.9 KiB | 1992-Jan-14 07:55 |
| tripos.tex | 59 B | 1992-Jan-26 14:09 |
| trip.tfm | 3.0 KiB | 2002-Dec-21 09:07 |
| glue.web | 16.7 KiB | 2021-Jan-11 16:34 |
| trip.tex | 22.1 KiB | 2021-Jan-15 06:12 |
| tripin.log | 12.6 KiB | 2021-Jan-26 18:21 |
| tripin.fot | 2.8 KiB | 2021-Jan-26 18:21 |
| trip.fot | 2.4 KiB | 2021-Jan-26 18:21 |
| trip.dvi | 2.9 KiB | 2021-Jan-26 18:21 |
| trip.typ | 17.6 KiB | 2021-Jan-26 18:21 |
| texbook.tex | 1.3 MiB | 2021-Jan-27 00:24 |
| tex.web | 1007.8 KiB | 2021-Feb-05 13:38 |
| trip.log | 179.7 KiB | 2021-Feb-06 07:00 |