Name Last modified Size Parent Directory - Example/ 2024-11-01 20:06 - spelatex-spel/ 2024-11-01 20:06 - LICENSE 2024-09-18 16:00 342 spelatex.dtx 2024-11-01 19:56 90K spelatex.ins 2024-09-18 16:00 2.0K spelatex.pdf 2024-11-01 20:00 360K