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