../ doc/ 18-Jan-2019 19:28 - README 18-Jan-2019 19:13 2209 amsppt.sti 07-Aug-2001 05:00 2936 amsppt.sty 29-Aug-2001 14:57 48544 amsppt1.tex 07-Aug-2001 17:17 5811 amssym.def 25-Jun-2009 16:01 4725 amssym.tex 25-Jun-2009 16:01 9155 amstex.bug 07-Aug-2001 17:39 28968 amstex.ini 07-Aug-2001 17:12 2105 amstex.tex 04-Oct-2001 18:08 78920