Index of /systems/knuth/dist/tex/


../
glue.web                                           25-May-1991 08:05               17110
tex.web                                            08-Jan-2014 04:12             1030715
texbook.tex                                        11-Jan-2014 17:14             1384511
trip.fot                                           08-Jan-2014 04:09                2444
trip.log                                           07-Jan-2014 18:20              183969
trip.pl                                            06-Oct-1989 16:35               16990
trip.tex                                           23-Dec-2002 19:36               22676
trip.tfm                                           21-Dec-2002 01:07                3116
trip.typ                                           11-Jan-2014 18:15               18060
tripin.log                                         11-Jan-2014 18:20               12899
tripman.tex                                        13-Jan-1992 23:55               19342
tripos.tex                                         26-Jan-1992 06:09                  59