Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - astyped.sty 1992-09-23 01:00 946 makefile 1992-09-23 01:00 588 reader.st 1992-09-23 01:00 1.5K reader.tex 1992-09-23 01:00 2.1K readme 1992-09-23 01:00 1.0K schemetex.l 1992-09-23 01:00 4.6K st 1992-09-23 01:00 257 st.pdf 2007-02-27 12:04 32K st.sh 1992-09-23 01:00 257 st.t 1992-09-23 01:00 7.9K st.tex 1992-09-23 01:00 2.8K