Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - struktex.de.pdf 2018-06-04 21:02 445K struktex.en.pdf 2018-06-04 21:02 423K struktex.dtx 2018-06-04 21:02 290K struktex.ins 2018-06-04 21:02 3.1K README.md 2018-06-04 21:02 2.1K LIESMICH.md 2018-06-04 21:02 2.0K