Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
os2/ | 1999-10-20 16:24 | - | ||
Flex-patch | 1999-06-11 23:32 | 259 | ||
states.sed | 1999-05-13 00:45 | 329 | ||
detex.h | 1999-05-13 00:45 | 1.2K | ||
Makefile | 1999-05-13 00:45 | 1.9K | ||
detex.1l | 1999-05-13 00:45 | 3.9K | ||
README | 1999-05-13 00:45 | 6.7K | ||
detex.l | 1999-05-13 00:45 | 17K | ||
lexout.c | 1999-05-13 00:45 | 49K | ||