Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 04-Dec-2002 23:21 -
![[ ]](/icons/unknown.gif){kind=icon}
makefile 31-Aug-1992 00:00 1k
![[TXT]](/icons/text.gif){kind=icon}
regexp.c 31-Aug-1992 00:00 13k
retest.c 31-Aug-1992 00:00 1k
tfontedpr.c 31-Aug-1992 00:00 16k
tgrind.sh 31-Aug-1992 00:00 2k
tgrindmac.tex 31-Aug-1992 00:00 6k