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 https://mailman.real-time.com/mailman/listinfo/vanilla-devel