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 552

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: 18.216.121.55




	If you have questions or remarks about this site, visit the vimonline development pages. Please use this site responsibly. Questions about Vim should go to the maillist. Help Bram help Uganda.	Vim at Github