../ glue.web 11-Jan-2021 14:04 17K tex.web 05-Feb-2021 11:08 1008K texbook.tex 26-Jan-2021 21:54 1M trip.dvi 26-Jan-2021 15:51 2920 trip.fot 26-Jan-2021 15:51 2445 trip.log 06-Feb-2021 04:30 180K trip.pl 06-Oct-1989 22:05 17K trip.tex 15-Jan-2021 03:42 22K trip.tfm 21-Dec-2002 06:37 3116 trip.typ 26-Jan-2021 15:51 18K tripin.fot 26-Jan-2021 15:51 2834 tripin.log 26-Jan-2021 15:51 13K tripman.tex 14-Jan-1992 05:25 19K tripos.tex 26-Jan-1992 11:39 59