Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.txt 2022-12-30 17:44 343 gfdl.ins 2022-12-30 17:44 1.4K gfdl.dtx 2022-12-30 17:44 19K gfdl-tex-1p1.tex 2022-12-30 17:44 20K gfdl-tex-1p2.tex 2022-12-30 17:44 22K gfdl-tex-1p3.tex 2022-12-30 17:44 25K COPYING 2022-12-30 17:44 34K gfdl.pdf 2022-12-30 17:44 217K