From cbb050f5dae1a4a9984a81a328dfcb3d6b308af1 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 20 Apr 2007 16:01:25 +0000
Subject: [PATCH] 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 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/prism/etc/Overrides.xml b/prism/etc/Overrides.xml
index e20477fa..843f62a9 100644
--- a/prism/etc/Overrides.xml
+++ b/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"/>