Hi again ! I think xtla now has all the important feature one could expect from a tla front-end.
Support of spaces in filenames (tla 1.2.1 and higher) is being implemented. A few other things are still in the TODO list planned for the 1.0, but I actually think they can wait (about menus and mouse operations, xtla's still not perfect, but is already at an acceptable level). Tell me if some points seem urgent to you. Otherwise, I plan to release the 0.9 version in a few days. This is supposed to be a version with enough features, and not too many bugs (actually, no real known bug). However, this version is clearly not tested enough, and does not deserve a 1.0 version number. This is the beginning of a feature freeze phase. During this phase, only bugfixes, testcases, and really minor features will be accepted in [EMAIL PROTECTED] Please ask if you whish to open a development branch in addition to this one. (with maybe another maintainer) I'll use the xtla download page so distribute the tarball for numbered versions. Depending on the number of bugfixes and the time taken to get xtla-test.el at an acceptable level, we may need several 0.9.x versions, or go directly to the 1.0. Open question: What should be the version number strategy after the 1.0? -- Matthieu
