| Name | Last Modified | Size | Type |
|---|---|---|---|
| Parent Directory/ | - | Directory | |
| os2/ | 1999-Oct-20 16:24:45 | - | Directory |
| Flex-patch | 1999-Jun-11 23:32:00 | 0.2K | text/plain |
| Makefile | 1999-May-13 00:45:00 | 1.8K | text/plain |
| README | 1999-May-13 00:45:00 | 6.7K | text/plain |
| detex.1l | 1999-May-13 00:45:00 | 3.9K | text/plain |
| detex.h | 1999-May-13 00:45:00 | 1.2K | text/x-chdr |
| detex.l | 1999-May-13 00:45:00 | 16.9K | text/plain |
| lexout.c | 1999-May-13 00:45:00 | 49.0K | text/x-csrc |
| states.sed | 1999-May-13 00:45:00 | 0.3K | text/plain |