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