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