../ makefile 30-Aug-1992 07:00 751 regexp.c 30-Aug-1992 07:00 13605 retest.c 30-Aug-1992 07:00 1136 tfontedpr.c 30-Aug-1992 07:00 15981 tgrind.sh 30-Aug-1992 07:00 1956 tgrindmac.tex 30-Aug-1992 07:00 6218