Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/tex.gif){kind=icon}
tripos.tex 1983-05-30 04:00 58
![[ ]](/icons/p.gif){kind=icon}
trip.pl 1989-10-06 13:35 17K
tripman.tex 1989-12-05 00:51 19K
![[TXT]](/icons/text.gif){kind=icon}
dvitype.in 1990-01-19 19:11 41
trip1.in 1990-01-19 19:11 13
trip2.in 1990-01-19 19:11 14
![[ ]](/icons/unknown.gif){kind=icon}
trip.fot 1990-03-25 21:25 2.4K
trip.log 1990-03-25 21:25 178K
trip.tex 1990-03-25 21:25 22K
trip.typ 1990-03-25 21:25 18K
tripin.log 1990-03-25 21:25 13K