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