Name Last modified Size Description Parent Directory - Makefile 1987-09-22 17:37 738 README 1987-09-22 17:37 1.4K detex.1l 1987-09-22 17:37 2.6K detex.l 1987-09-22 17:37 12K detex.h 1987-09-22 17:41 768