../ README 19-May-2024 19:35 366 detex-32.def 19-May-2024 19:35 89 detex.def 19-May-2024 19:35 72 makefile.os2 19-May-2024 19:35 2007