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