Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2009-09-02 15:40 3.0K layman.pdf 2009-09-02 15:40 266K layman.tex 2009-09-02 15:40 79K layouts.dtx 2009-09-02 15:40 168K layouts.ins 2009-09-02 15:40 2.5K layouts.pdf 2009-09-02 15:40 296K