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