Index of /support/detex

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] Flex-patch 1999-06-11 16:32 259 [   ] Makefile 1999-05-12 17:45 1.9K [   ] README 1999-05-12 17:45 6.7K [   ] detex.1l 1999-05-12 17:45 3.9K [TXT] detex.h 1999-05-12 17:45 1.2K [   ] detex.l 1999-05-12 17:45 17K [TXT] lexout.c 1999-05-12 17:45 49K [DIR] os2/ 1999-10-20 09:24 - [   ] states.sed 1999-05-12 17:45 329
Apache/2.4.25 (Ubuntu) Server at ctan.mines-albi.fr Port 80