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