Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - README.md 2020-09-08 20:04 1.4K stricttex.lua 2020-09-08 20:03 4.4K stricttex.pdf 2020-09-08 18:32 54K stricttex.sty 2020-09-08 20:04 1.4K stricttex.tex 2020-09-08 20:04 4.4K