Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - sidenotesplus.pdf 2023-12-19 18:37 230K tests-sidenoteplus.pdf 2023-12-19 10:29 139K sidenotesplus.dtx 2023-12-19 10:25 40K tests-sidenoteplus.tex 2023-12-19 01:19 11K sidenotesplus.ins 2022-07-09 17:26 2.4K README.txt 2023-12-19 10:24 1.1K