Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80Name Last modified Size Description
Parent Directory -
LICENSE 2024-06-12 12:37 342
spelatex.ins 2024-06-12 12:37 2.0K
README 2024-06-12 18:09 2.5K
spelatex.dtx 2024-06-20 17:33 83K
spelatex.pdf 2024-06-20 20:08 325K
spelatex-spel/ 2024-06-20 20:10 -
Example/ 2024-06-20 21:15 -