Index of /pub/tex/obsolete/support/detex

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]os2/1999-10-20 09:24 -  
[   ]Flex-patch1999-06-11 16:32 259  
[   ]states.sed1999-05-12 17:45 329  
[TXT]detex.h1999-05-12 17:45 1.2K 
[   ]Makefile1999-05-12 17:45 1.9K 
[   ]detex.1l1999-05-12 17:45 3.9K 
[   ]README1999-05-12 17:45 6.7K 
[   ]detex.l1999-05-12 17:45 17K 
[TXT]lexout.c1999-05-12 17:45 49K 

Apache/2.4.62 (Debian) Server at debian.ec.as6453.net Port 80