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