Spinroot

A forum for Spin users

You are not logged in.

#1 2013-04-06 19:16:43

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

Emacs mode

There are several versions of a Promela mode for Emacs available.
A  Google search for "Promela emacs" will find them, or you can try this one:
http://spinroot.com/spin/Src/promela-mode.el

Offline

Board footer

Powered by FluxBB