Go to the previous, next section.
At the current stage nearly all planned features have been implemented. As before, those features being documented here, are implemented.
A substantial range of editing features now works. Insertion of templates for TLA+ headers and keywords basically work, although some fine tuning is still needed, especially updating the menus. Indentation as a key feature of every major mode works reasonably well. It supports bulleted lists of conjunctions and disjunctions even if they are inside other nested structures. There are still a few indentation bugs, but a very high percentage of code should now be indented according to the conventions of tTLA+.
The interface to other tools is now established although not everything is as stable as desired. Along with the definition of top modules for a given specification this should already be quite usable. Moreover, you can now go to the next error that was detected by the TBR (tTLA+Browser).
Full compatability to Lucid Emacs is still not accomplished, while compatability to Emacs 18 has finally been dropped. There is no reason not to use Emacs 19.
Go to the previous, next section.