Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - st 1992-09-23 02:00 257 st.sh 1992-09-23 02:00 257 makefile 1992-09-23 02:00 588 astyped.sty 1992-09-23 02:00 946 readme 1992-09-23 02:00 1.0K reader.st 1992-09-23 02:00 1.5K reader.tex 1992-09-23 02:00 2.1K st.tex 1992-09-23 02:00 2.8K schemetex.l 1992-09-23 02:00 4.6K st.t 1992-09-23 02:00 7.9K st.pdf 2007-02-27 13:04 32K