/systems/knuth/dist/tex/
../
glue.web
tex.web
texbook.tex
trip.fot
trip.log
trip.pl
trip.tex
trip.tfm
trip.typ
tripin.log
tripman.tex
tripos.tex