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