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