Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2011-09-20 12:59 1.9K filemod-expmin.sty 2011-09-20 12:59 2.8K filemod-expmin.tex 2011-09-20 12:59 2.9K filemod.pdf 2011-09-20 12:59 273K filemod.sty 2011-09-20 12:59 9.1K filemod.tex 2011-09-20 12:59 9.3K