Update to PRISM+Gnome file associations.

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

prism/etc/Overrides.xml

@@ -4,6 +4,9 @@
 <!-- Save the file as ~/.local/share/mime/packages/Overrides.xml and then run: -->
 <!--   update-mime-database ~/.local/share/mime -->
 
+<!-- Please note that this overrides the association of .pm file with Perl files -->
+<!-- If you do not want this, then comment out the .pm line below -->
+
 <mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info">
   <mime-type type="text/x-prism">
     <comment>PRISM file</comment>