Index of /systems/knuth/dist/tex/
../
glue.web 11-Jan-2021 08:34 17104
tex.web 05-Feb-2021 05:38 1031999
texbook.tex 26-Jan-2021 16:24 1386369
trip.dvi 26-Jan-2021 10:21 2920
trip.fot 26-Jan-2021 10:21 2445
trip.log 05-Feb-2021 23:00 184018
trip.pl 06-Oct-1989 16:35 16990
trip.tex 14-Jan-2021 22:12 22677
trip.tfm 21-Dec-2002 01:07 3116
trip.typ 26-Jan-2021 10:21 18060
tripin.fot 26-Jan-2021 10:21 2834
tripin.log 26-Jan-2021 10:21 12900
tripman.tex 13-Jan-1992 23:55 19342
tripos.tex 26-Jan-1992 06:09 59