emacs-based workflow?

35 views

Skip to first unread message

Marko Schuetz-Schmuck

unread,

Jun 5, 2019, 1:39:05 PM6/5/19

to tlaplus

Dear ALl,

I am aware that there is a TLA+ mode for emacs, but from what I see it's
far less featureful than the eclipse-based front-end. Has anyone pursued
this route? Maybe there is even an integration with org-mode?

Anyway, I'd love to hear about your emacs setup for TLA+...

Best regards,

Marko