Promela indentation plugin for VIM
Wednesday, February 15th, 2006As a part of a Design of Embeded Systems course at IT University I have been using Spin and therefore PROMELA. Since I enjoy editing my stuff with VIM I googled for vim and promela and found syntax highlighting. Strange enough the syntax file has not been touched since Sept 2003 but is not distributed with vim. However, I could not find an indent plugin for promela and decided to try and write one. Se here we are, after studying a few indention files I managed to create one that seems to do the job. It is very simple and might lack some functionality but it’s a step in the right direction however.
A package including the syntax file created by Pieter Loubser and the indentation file can be downloaded form here.