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