Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - spelatex-spel/ 2024-11-04 20:05 - Example/ 2024-11-04 20:05 - spelatex.pdf 2024-11-04 20:05 340K spelatex.dtx 2024-11-04 20:05 90K spelatex.ins 2024-09-18 09:00 2.0K README 2024-09-18 09:00 2.5K LICENSE 2024-09-18 09:00 342