../ doc/ 19-Jan-2019 02:28 - README 19-Jan-2019 02:13 2209 amsppt.sti 07-Aug-2001 12:00 2936 amsppt.sty 29-Aug-2001 21:57 47K amsppt1.tex 08-Aug-2001 00:17 5811 amssym.def 25-Jun-2009 23:01 4725 amssym.tex 25-Jun-2009 23:01 9155 amstex.bug 08-Aug-2001 00:39 28K amstex.ini 08-Aug-2001 00:12 2105 amstex.tex 05-Oct-2001 01:08 77K