> >> 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?
BTW, what is the fastest way to know this, "In whose tree?"? cvs annotate is useful. The similar is in tla or xtla?
