| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| README | 1999-May-12 15:45:00 | 0.3K | text/plain;charset=utf-8 |
| detex-32.def | 1999-May-12 15:45:00 | 0.1K | application/octet-stream |
| detex.def | 1999-May-12 15:45:00 | 0.1K | application/octet-stream |
| makefile.os2 | 1999-May-12 15:45:00 | 1.9K | application/octet-stream |