Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 1996-07-01 02:00 856 altfont.ins 1996-07-02 02:00 1.9K psfont.ins 1996-06-30 02:00 1.9K psfont.dtx 1996-06-30 02:00 19K altfont.dtx 1996-07-02 02:00 19K psfont.pdf 2006-12-07 01:00 113K altfont.pdf 2006-12-07 01:00 116K