Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Flex-patch | 259 | logplain |
-rw-r--r-- | Makefile | 1899 | logplain |
-rw-r--r-- | README | 6904 | logplain |
-rw-r--r-- | detex.1l | 4006 | logplain |
-rw-r--r-- | detex.h | 1227 | logplain |
-rw-r--r-- | detex.l | 17353 | logplain |
-rw-r--r-- | lexout.c | 50210 | logplain |
d--------- | os2 | 151 | logplain |
-rw-r--r-- | states.sed | 329 | logplain |