Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | COPYRIGHT | 1661 | logplain |
-rw-r--r-- | ChangeLog | 8026 | logplain |
-rw-r--r-- | INSTALL | 328 | logplain |
-rw-r--r-- | Makefile | 4040 | logplain |
-rw-r--r-- | README | 1424 | logplain |
-rw-r--r-- | detex.c | 151085 | logplain |
-rw-r--r-- | detex.h | 3221 | logplain |
-rw-r--r-- | detex.l | 29621 | logplain |
-rw-r--r-- | detex.man | 4422 | logplain |