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