Name Last modified Size Description Parent Directory - Example/ 2024-06-20 22:15 - spelatex-spel/ 2024-06-20 21:10 - LICENSE 2024-06-12 13:37 342 spelatex.dtx 2024-06-20 18:33 83K spelatex.ins 2024-06-12 13:37 2.0K spelatex.pdf 2024-06-20 21:08 325K