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