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

[ICO]NameLast modifiedSizeDescription

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

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