| Parent directory/ | - | - |
| tripos.tex | 59 B | 1992-01-26 17:09:20 UTC+09:00 |
| tripman.tex | 18.9 KiB | 1992-01-14 10:55:40 UTC+09:00 |
| tripin.log | 12.6 KiB | 2021-01-26 21:21:23 UTC+09:00 |
| tripin.fot | 2.8 KiB | 2021-01-26 21:21:24 UTC+09:00 |
| trip.typ | 17.6 KiB | 2021-01-26 21:21:26 UTC+09:00 |
| trip.tfm | 3.0 KiB | 2002-12-21 12:07:43 UTC+09:00 |
| trip.tex | 22.1 KiB | 2021-01-15 09:12:14 UTC+09:00 |
| trip.pl | 16.6 KiB | 1989-10-07 03:35:44 UTC+09:00 |
| trip.log | 179.7 KiB | 2021-02-06 10:00:18 UTC+09:00 |
| trip.fot | 2.4 KiB | 2021-01-26 21:21:25 UTC+09:00 |
| trip.dvi | 2.9 KiB | 2021-01-26 21:21:25 UTC+09:00 |
| texbook.tex | 1.3 MiB | 2021-01-27 03:24:23 UTC+09:00 |
| tex.web | 1007.8 KiB | 2021-02-05 16:38:47 UTC+09:00 |
| glue.web | 16.7 KiB | 2021-01-11 19:34:55 UTC+09:00 |