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