[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Complete Emacs setup for TLA+

There seem to be various solutions for a nice TLA+ environment in Emacs, some of which seem to no longer be maintained. I was just curious: what do seasoned users of TLA+ with emacs use? What would they recommend?

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/ad0838ce-cced-4435-842b-e237dc355556n%40googlegroups.com.