Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
INSTALL 1999-09-14 12:41 459
MANIFEST 1999-09-14 12:43 52
Makefile.PL 1999-09-14 12:40 479
README 1999-09-14 12:38 883
texref 1999-09-13 17:19 17K
texref.1 1999-09-14 12:38 10K