Index of /tex-archive/systems/knuth/dist/tex

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]tripos.tex1992-01-26 07:09 59  
[TXT]tripman.tex1992-01-14 00:55 19K 
[   ]tripin.log2021-01-26 11:21 13K 
[   ]tripin.fot2021-01-26 11:21 2.8K 
[   ]trip.typ2021-01-26 11:21 18K 
[   ]trip.tfm2002-12-21 02:07 3.0K 
[TXT]trip.tex2021-01-14 23:12 22K 
[TXT]trip.pl1989-10-06 17:35 17K 
[   ]trip.log2021-02-06 00:00 180K 
[   ]trip.fot2021-01-26 11:21 2.4K 
[   ]trip.dvi2021-01-26 11:21 2.9K 
[TXT]texbook.tex2021-01-26 17:24 1.3M 
[   ]tex.web2021-02-05 06:38 1.0M 
[   ]glue.web2021-01-11 09:34 17K 

Apache/2.4.41 (Ubuntu) Server at markov.htwsaar.de Port 443