Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - docs.sty 2023-06-02 04:47 3.5K summary4-2.tex 2023-06-02 04:47 22K auguide4-2.tex 2023-06-02 04:47 84K summary4-2.pdf 2023-06-02 04:47 225K auguide4-2.pdf 2023-06-02 04:47 442K