Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README 2002-03-14 10:28 6.0K
europs.dtx 1999-01-16 01:00 5.2K
europs.ins 1998-11-02 01:00 726
eutest.ps 1999-01-16 01:00 56K
eutest.tex 1999-01-16 01:00 944