../ README 16-Jul-2024 19:34 366 detex-32.def 16-Jul-2024 19:34 89 detex.def 16-Jul-2024 19:34 72 makefile.os2 16-Jul-2024 19:34 2007