len corrections, further update to GAMM, now primary output is TeX