Code Editor : amstex.ini