Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - FONTLOG.txt 2012-11-29 14:30 1.4K OFL.txt 2012-11-28 19:16 4.3K README 2012-11-28 19:16 2.4K dvips/ 2012-11-29 15:07 - mdsymbol.dtx 2012-11-29 14:30 156K mdsymbol.ins 2012-11-28 19:16 1.5K mdsymbol.pdf 2012-11-29 14:30 385K otf/ 2012-11-29 15:07 - source/ 2012-11-29 15:07 - tfm/ 2012-11-29 15:07 - type1/ 2012-11-29 15:07 -