PNG  IHDR;IDATxܻn0K )(pA 7LeG{ §㻢|ذaÆ 6lذaÆ 6lذaÆ 6lom$^yذag5bÆ 6lذaÆ 6lذa{ 6lذaÆ `}HFkm,mӪôô! x|'ܢ˟;E:9&ᶒ}{v]n&6 h_tڠ͵-ҫZ;Z$.Pkž)!o>}leQfJTu іچ\X=8Rن4`Vwl>nG^is"ms$ui?wbs[m6K4O.4%/bC%t Mז -lG6mrz2s%9s@-k9=)kB5\+͂Zsٲ Rn~GRC wIcIn7jJhۛNCS|j08yiHKֶۛkɈ+;SzL/F*\Ԕ#"5m2[S=gnaPeғL lذaÆ 6l^ḵaÆ 6lذaÆ 6lذa; _ذaÆ 6lذaÆ 6lذaÆ RIENDB` " Vim syntax file " Language: ProMeLa " Maintainer: Maurizio Tranchero - " First Release: Mon Oct 16 08:49:46 CEST 2006 " Last Change: Thu Aug 7 21:22:48 CEST 2008 " Version: 0.5 " For version 5.x: Clear all syntax items " For version 6.x: Quit when a syntax file was already loaded if version < 600 syntax clear elseif exists("b:current_syntax") finish endif " case is significant " syn case ignore " ProMeLa Keywords syn keyword promelaStatement proctype if else while chan do od fi break goto unless syn keyword promelaStatement active assert label atomic syn keyword promelaFunctions skip timeout run syn keyword promelaTodo contained TODO " ProMeLa Types syn keyword promelaType bit bool byte short int " Operators and special characters syn match promelaOperator "!" syn match promelaOperator "?" syn match promelaOperator "->" syn match promelaOperator "=" syn match promelaOperator "+" syn match promelaOperator "*" syn match promelaOperator "/" syn match promelaOperator "-" syn match promelaOperator "<" syn match promelaOperator ">" syn match promelaOperator "<=" syn match promelaOperator ">=" syn match promelaSpecial "\[" syn match promelaSpecial "\]" syn match promelaSpecial ";" syn match promelaSpecial "::" " ProMeLa Comments syn region promelaComment start="/\*" end="\*/" contains=promelaTodo,@Spell syn match promelaComment "//.*" contains=promelaTodo,@Spell " Class Linking hi def link promelaStatement Statement hi def link promelaType Type hi def link promelaComment Comment hi def link promelaOperator Type hi def link promelaSpecial Special hi def link promelaFunctions Special hi def link promelaString String hi def link promelaTodo Todo let b:current_syntax = "promela"