Index of /systems/knuth/local/tex

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]plain.fmt2000-05-01 07:13 163K 
[   ]initex.ch2000-05-01 09:51 36K 
[   ]tex.pool2000-05-01 07:13 25K 
[TXT]ext.c2000-05-01 11:39 6.0K 
[   ]plain.log2000-05-01 07:13 2.4K 
[   ]Makefile2002-12-29 13:04 1.9K 
[   ]ini_to_trip2000-05-01 07:13 705  
[TXT]ext.h2000-05-01 11:24 500  
[   ]ini_to_vir2000-05-01 07:13 447  
[   ]dvitype.in2000-05-01 07:13 41  
[   ]trip2.in2000-05-01 07:13 14  
[   ]trip1.in2000-05-01 07:13 13