Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2003-01-16 19:25 2.6K allfont.tex 2003-01-16 19:26 2.6K carolmin.ins 2003-01-16 19:26 3.2K tryfont.tex 2003-01-16 19:26 3.7K carolmin.dtx 2003-01-16 19:26 133K