../ glue.web 11-Jan-2021 08:34 17K tex.web 05-Feb-2021 05:38 1008K texbook.tex 26-Jan-2021 16:24 1M trip.dvi 26-Jan-2021 10:21 2920 trip.fot 26-Jan-2021 10:21 2445 trip.log 05-Feb-2021 23:00 180K trip.pl 06-Oct-1989 16:35 17K trip.tex 14-Jan-2021 22:12 22K trip.tfm 21-Dec-2002 01:07 3116 trip.typ 26-Jan-2021 10:21 18K tripin.fot 26-Jan-2021 10:21 2834 tripin.log 26-Jan-2021 10:21 13K tripman.tex 13-Jan-1992 23:55 19K tripos.tex 26-Jan-1992 06:09 59