Index of /tex/dist/tex

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]glue.web1991-05-25 01:05 17K 
[TXT]tex.web2014-01-07 20:12 1.0M 
[   ]texbook.tex2014-01-11 09:14 1.3M 
[TXT]trip.fot2014-01-07 20:09 2.4K 
[TXT]trip.log2014-01-07 10:20 180K 
[   ]trip.pl1989-10-06 09:35 17K 
[   ]trip.tex2002-12-23 11:36 22K 
[   ]trip.tfm2002-12-20 17:07 3.0K 
[   ]trip.typ2014-01-11 10:15 18K 
[TXT]tripin.log2014-01-11 10:20 13K 
[   ]tripman.tex1992-01-13 15:55 19K 
[   ]tripos.tex1992-01-25 22:09 59