A forum for Spin users
You are not logged in.
Pages: 1
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