Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - progress20030701.html 2003-07-01 02:00 3.5K progress.tex 2003-07-02 15:00 9.2K progress.sty 2003-06-30 23:30 13K progress.pdf 2006-05-20 10:46 94K README 2003-07-02 15:15 413