Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - hecthese-en.pdf 2023-10-17 15:53 536K hecthese.dtx 2023-10-17 15:53 106K hecthese.pdf 2023-10-17 15:47 523K hecthese-en.ins 2023-10-17 15:23 3.9K hecthese-fr.ins 2023-10-17 15:22 4.0K README.md 2023-10-17 15:22 4.4K