Index of /pub/TeX/TeX-3.1/tex/TeXtrip

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 tripin.log              1990-03-25 21:25   13K  
 trip.typ                1990-03-25 21:25   18K  
 trip.tex                1990-03-25 21:25   22K  
 trip.log                1990-03-25 21:25  178K  
 trip.fot                1990-03-25 21:25  2.4K  
 trip2.in                1990-01-19 19:11   14   
 trip1.in                1990-01-19 19:11   13   
 dvitype.in              1990-01-19 19:11   41   
 tripman.tex             1989-12-05 00:51   19K  
 trip.pl                 1989-10-06 13:35   17K  
 tripos.tex              1983-05-30 04:00   58