Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2024-02-12 04:15 1.8K gastex-doc.tex 2024-02-11 10:48 7.5K gastex.pro 2011-07-23 19:41 11K gastex.sty 2024-02-12 04:11 87K gastex-doc.pdf 2024-02-11 10:48 132K