Updated Gnome highlighting/MIME types to include precprocessor stuff.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@321 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/etc/Overrides.xml

@@ -24,5 +24,6 @@
     <glob pattern="*.nm"/>
     <glob pattern="*.pctl"/>
     <glob pattern="*.csl"/>
+    <glob pattern="*.pp"/>
   </mime-type>
 </mime-info>

prism/etc/prism.lang

@@ -13,6 +13,10 @@
 		<start-regex>//</start-regex>
 	</line-comment>
 
+	<syntax-item _name = "PRISM Preprocessor" style = "Preprocessor">
+		<start-regex>#</start-regex><end-regex>#</end-regex>
+	</syntax-item>
+
 	<pattern-item _name = "Numeric" style = "Decimal">
 		<regex>(\b([1-9][0-9]*|0)\b)|(\b([0-9]+[Ee][+-]?[0-9]+|([0-9]*\.[0-9]+|[0-9]+\.)([Ee][-]?[0-9]+)?)[fFlL]?)</regex>
 	</pattern-item>