Hi! I am one of the developers of xtla.el (the emacs interface for tla) (http://wiki.gnuarch.org/moin.cgi/xtla)
We plan to release a 0.9 revision at end of october. tla has proven as a nice foundation to develop our package. Each contributer uses a different subset of the provided functionality. Of course there is also functionality that is used by everyone. I would like to know now, what tla commands you need in your daily work? And, if you have already experience with xtla, how good are the needed commands supported by xtla.el? What is missing? What doesn't work? What does work well? Based on your feedback, we will try to integrate new or improved functionality in xtla.el. Thanks for your participation, Stefan.
