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