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