Index of /systems/knuth/dist/tex

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] trip.pl 1989-10-06 17:35 17K [   ] tripman.tex 1992-01-14 00:55 19K [   ] tripos.tex 1992-01-26 07:09 59 [   ] trip.tfm 2002-12-21 02:07 3.0K [TXT] glue.web 2021-01-11 09:34 17K [   ] trip.tex 2021-01-14 23:12 22K [TXT] tripin.log 2021-01-26 11:21 13K [TXT] tripin.fot 2021-01-26 11:21 2.8K [   ] trip.dvi 2021-01-26 11:21 2.9K [TXT] trip.fot 2021-01-26 11:21 2.4K [   ] trip.typ 2021-01-26 11:21 18K [   ] texbook.tex 2021-01-26 17:24 1.3M [TXT] tex.web 2021-02-05 06:38 1.0M [TXT] trip.log 2021-02-06 00:00 180K