Name Last modified Size Description Parent Directory - makefile.os2 1999-05-12 17:45 2.0K detex.def 1999-05-12 17:45 72 detex-32.def 1999-05-12 17:45 89 README 1999-05-12 17:45 366