Name | Format | # Pages | Size | Date |
---|---|---|---|---|
detex.1l | LaTeX Document | 4KB | 1992-09-21 | |
detex.l | LaTeX Document | 15KB | 1992-09-21 | |
README | LaTeX Document | 5KB | 1992-09-21 |
Name | Format | # Lines | Size | Date |
---|---|---|---|---|
detex.h | Text File | 40 | 1KB | 1992-09-21 |
Makefile | Makefile | 81 | 1KB | 1992-09-21 |
states.sed | Text File | 18 | 308b | 1992-09-21 |