Complete Emacs setup for TLA+

39 views

Skip to first unread message

Ajinkya Kulkarni

unread,

Nov 15, 2021, 9:54:05 AM11/15/21

to tlaplus

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?

Thanks

Reply all

Reply to author

Forward

0 new messages