sal syntax - syntax file for the SAL modeling language : vim online

sal syntax : syntax file for the SAL modeling language

script karma

Rating 0/0, Downloaded by 765

Comments, bugs, improvements

Vim wiki

created by

Brandon Borkholder

script type

syntax

description

SAL (http://sal.csl.sri.com/) is a language to specify automata for model checking. This is a syntax file that can help read the models.

install details

Just untar into your .vim directory and it automatically detects sal files.

script versions (upload new version)

Click on the package to download.

package script version date Vim version user release notes

sal.tar.bz2 0.2 2007-10-11 6.0 Brandon Borkholder * Made significant changes to the parsing of the language. I tried to go through the SAL language manual and identify syntax.
* Colors changed slightly

sal.tar.bz2 0.1 2006-12-12 6.0 Brandon Borkholder Initial upload

ip used for rating: 216.73.216.130




	Questions about Vim should go to the maillist. Help Uganda.	Vim at Github