> It looks like `tla--new-error-buffer' was removed in the cleanup of > xtla-core? The `tla--run-arch' function still seems to use this--do we > really want to remove it?
In whose tree? If mine, I've just removed the duplicated definition in Mattheu's patch-205.
