codekingpro/portable-devtools

1" Vim syntax file2" Language:			ProMeLa3" Maintainer:		Maurizio Tranchero <maurizio.tranchero@polito.it> - <maurizio.tranchero@gmail.com>4" First Release:	Mon Oct 16 08:49:46 CEST 20065" Last Change:		Thu Aug 7 21:22:48 CEST 20086" Version:			0.57 8" quit when a syntax file was already loaded9if exists("b:current_syntax")10  finish11endif12 13" case is significant14" syn case ignore15" ProMeLa Keywords16syn keyword promelaStatement	proctype if else while chan do od fi break goto unless17syn keyword promelaStatement	active assert label atomic18syn keyword promelaFunctions	skip timeout run19syn keyword promelaTodo         contained TODO20" ProMeLa Types21syn keyword promelaType			bit bool byte short int22" Operators and special characters23syn match promelaOperator	"!"24syn match promelaOperator	"?"25syn match promelaOperator	"->"26syn match promelaOperator	"="27syn match promelaOperator	"+"28syn match promelaOperator	"*"29syn match promelaOperator	"/"30syn match promelaOperator	"-"31syn match promelaOperator	"<"32syn match promelaOperator	">"33syn match promelaOperator	"<="34syn match promelaOperator	">="35syn match promelaSpecial	"\["36syn match promelaSpecial	"\]"37syn match promelaSpecial	";"38syn match promelaSpecial	"::"39" ProMeLa Comments40syn region promelaComment start="/\*" end="\*/" contains=promelaTodo,@Spell41syn match  promelaComment "//.*" contains=promelaTodo,@Spell42 43" Class Linking44hi def link promelaStatement    Statement45hi def link promelaType	        Type46hi def link promelaComment      Comment47hi def link promelaOperator	    Type48hi def link promelaSpecial      Special49hi def link promelaFunctions    Special50hi def link promelaString		String51hi def link promelaTodo	        Todo52 53let b:current_syntax = "promela"54