Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
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