The version 0.99 of Xtla was released today. It's mainly a bugfix release. Xtla is the Emacs interface to tla. For those interested, there is a development branch supporting bazaar in addition to tla. See Xtla's home page for details:
http://wiki.gnuarch.org/xtla The tarball is available here: http://download.gna.org/xtla-el/xtla-0.99.tar.gz The documentation is online: http://download.gna.org/xtla-el/docs/xtla-0.99.html And as usual, a Debian package is provided. Just add deb http://download.gna.org/xtla-el/apt/ unstable/ To your /etc/apt/sources.list. -- Matthieu _______________________________________________ Gnu-arch-users mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gnu-arch-users GNU arch home page: http://savannah.gnu.org/projects/gnu-arch/
