Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - Example/ 2024-06-20 22:15 - spelatex-spel/ 2024-06-20 21:10 - spelatex.pdf 2024-06-20 21:08 325K spelatex.dtx 2024-06-20 18:33 83K README 2024-06-12 19:09 2.5K spelatex.ins 2024-06-12 13:37 2.0K LICENSE 2024-06-12 13:37 342