I'm happy to keep CVS or to change to arch.  I see no good reason to
keep CVS.  I see many good reasons to change to arch.  

So what do I do to begin using arch in parallel with CVS for a while, to
get the feel of it?

I've installed the Debian packages "tla tla-doc tla-tools".

I've looked for an Emacs interface.  I've found xtla in the arch wiki
<http://wiki.gnuarch.org/moin.cgi/xtla> with a Debian package on the
xtla download site, though I can't offhand figure out the sources.list
entry that would work <http://download.gna.org/xtla-el/apt/unstable/>

James Cameron    mailto:quozl at us.netrek.org     http://quozl.netrek.org/

vanilla-devel mailing list
vanilla-devel at us.netrek.org