Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
tfontedpr.c 1992-08-30 02:00 16K
regexp.c 1992-08-30 02:00 13K
tgrindmac.tex 1992-08-30 02:00 6.1K
tgrind.sh 1992-08-30 02:00 1.9K
retest.c 1992-08-30 02:00 1.1K
makefile 1992-08-30 02:00 751