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