../ doc/ 01-Jul-2022 19:36 - README 01-Jul-2022 19:36 2209 amsppt.sti 01-Jul-2022 19:36 2936 amsppt.sty 01-Jul-2022 19:36 48544 amsppt1.tex 01-Jul-2022 19:36 5811 amssym.def 01-Jul-2022 19:36 4725 amssym.tex 01-Jul-2022 19:36 9155 amstex.bug 01-Jul-2022 19:36 28968 amstex.ini 01-Jul-2022 19:36 2105 amstex.tex 01-Jul-2022 19:36 78920