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