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