| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| README1.html | LaTeX Document | 7KB | 2002-01-12 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| detex-32.def | Text File | 4 | 92b | 2002-01-12 |
| detex.def | Text File | 3 | 74b | 2002-01-12 |
| detex.h | C/C++ Source or Header | 45 | 1KB | 2002-01-12 |
| makefile.os2 | Makefile | 97 | 2KB | 2002-01-12 |
| os2.html | Hypertext Markup Language File | 222 | 9KB | 2002-01-12 |
| README.html | Hypertext Markup Language File | 8 | 373b | 2002-01-12 |