Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.md 2022-02-28 14:56 779 lectureslides-doc.pdf 2022-02-28 14:56 47K lectureslides-doc.tex 2022-02-28 14:56 4.3K lectureslides.sty 2022-02-28 14:56 2.0K