Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - amsppt.sti 2001-08-07 07:00 2.9K amstex.ini 2001-08-07 19:12 2.1K amsppt1.tex 2001-08-07 19:17 5.7K amstex.bug 2001-08-07 19:39 28K amsppt.sty 2001-08-29 16:57 47K amstex.tex 2001-10-04 20:08 77K amssym.def 2009-06-25 18:01 4.6K amssym.tex 2009-06-25 18:01 8.9K README 2019-01-18 20:13 2.2K doc/ 2019-01-18 20:28 -