Name Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
aaareadme.txt 458 Text file (text)
![[DIR]](/icons/folder.gif){kind=icon}
formats/ -
![[ ]](/icons/binary.gif){kind=icon}
tex.exe 243K OpenVMS executable or other (binary)
tex.obj 339K OpenVMS object or other (binary)
tex.pas 406K
![[ ]](/icons/unknown.gif){kind=icon}
tex.pool 27K
tex.vms-changes 170K
tex.web 1.0M
![[ ]](/icons/tex.gif){kind=icon}
texbook.tex 1.4M
trip.fot 2.5K
trip.log 189K
![[ ]](/icons/p.gif){kind=icon}
trip.pl 18K
trip.tex 23K
trip.typ 19K
tripin.log 13K
tripman.tex 19K
tripos.tex 62