Name Last modified Size Description![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg){kind=icon}
Parent Directory -
![[ ]](/icons/tex.gif){kind=icon}
tripos.tex 1992-01-26 07:09 59
tripman.tex 1992-01-14 00:55 19K
![[TXT]](/strapdown/icons/glyphicon-file.svg){kind=icon}
tripin.log 2008-03-17 09:46 13K
trip.typ 2008-03-17 09:59 18K
trip.tfm 2002-12-21 02:07 3.0K
trip.tex 2002-12-23 20:36 22K
![[ ]](/icons/p.gif){kind=icon}
trip.pl 1989-10-06 17:35 17K
trip.log 2008-03-17 09:48 180K
trip.fot 2008-03-17 09:49 2.4K
texbook.tex 2008-03-02 00:49 1.3M
tex.web 2008-03-06 00:07 1.0M
glue.web 1991-05-25 10:05 17K