Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - versonotes.pdf 2023-12-31 15:57 53K versonotes.ins 2023-12-31 15:57 248 versonotes.dtx 2023-12-31 15:57 26K sample.tex 2023-12-31 15:57 12K sample.pdf 2023-12-31 15:57 59K README.md 2023-12-31 15:57 1.7K LICENCE.txt 2023-12-31 15:57 19K