! Syntax highlighting patterns for Murphi 3.1
!
! Contributed by Stefan Roels (s.roels@student.kun.nl)
!
!
! Load this file by starting nedit with:
!
!     nedit -import <name of this file>
!
! Then, check that the patterns were loaded correctly, and choose Save Defaults
! from the Preferences menu.  The new patterns will now be incorporated into
! your own .nedit file, so the next time you start NEdit, you will no longer
! need to use -import.
!
!
nedit.highlightPatterns: Murphi:1:0{\n\
		Comment:"--":"$"::Comment::\n\
		Comment long:"/\\*":"\\*/"::Comment::\n\
		Keywords:"(?i<(alias|array|assert|begin|boolean|by|case|clear|const|do|else|elsif|end|endalias|endexists|endfor|endforall|endfunction|endif|endprocedure|endrecord|endrule|endruleset|endstartstate|exists|false|for|forall|function|if|in|interleaved|invariant|of|procedure|process|program|put|record|return|rule|ruleset|startstate|switch|then|to|traceuntil|true|type|var|while)>)":::Keyword::\n\
		Numbers:"[0..9]":::Numeric Const::\n\
		Symbols:"<(==\\>)>":::Keyword::\n\
		String:"[^\\\\]""":"[^\\\\]"""::String::\n\
	}
nedit.languageModes: 	Murphi:.m:"^--.*":::::

! generated with nxlang 1.10