Name Size Description
Parent Directory -
formats/ -
tripos.tex 62
aaareadme.txt 458 Text file (text)
trip.fot 2.5K
tripin.log 13K
trip.pl 18K
tripman.tex 19K
trip.typ 19K
trip.tex 23K
tex.pool 27K
tex.vms-changes 170K
trip.log 189K
tex.exe 243K OpenVMS executable or other (binary)
tex.obj 339K OpenVMS object or other (binary)
tex.pas 406K
tex.web 1.0M
texbook.tex 1.4M