Improvements to Gnome MIME type detection.

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

prism/etc/Overrides.xml

@@ -9,7 +9,16 @@
 
 <mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info">
   <mime-type type="text/x-prism">
+    <sub-class-of type="text/x-csrc"/> <!-- just to prevent mis-detection as C -->
     <comment>PRISM file</comment>
+    <magic priority="51">
+      <match type="string" value="dtmc" offset="0"/>
+      <match type="string" value="ctmc" offset="0"/>
+      <match type="string" value="mdp" offset="0"/>
+      <match type="string" value="probabilistic" offset="0"/>
+      <match type="string" value="nondeterministic" offset="0"/>
+      <match type="string" value="stochastic" offset="0"/>
+    </magic>
     <glob pattern="*.pm"/>
     <glob pattern="*.sm"/>
     <glob pattern="*.nm"/>