Index of /systems/knuth/local/tex

[ICO]NameLast modifiedSizeDescription

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

Apache/2.4.10 (Debian) Server at ctan.bilkent.edu.tr Port 80