diff --git a/prism/etc/syntax-highlighters/gnome/Overrides.xml b/prism/etc/syntax-highlighters/gnome/Overrides.xml
index 61900f5c..cce04890 100644
--- a/prism/etc/syntax-highlighters/gnome/Overrides.xml
+++ b/prism/etc/syntax-highlighters/gnome/Overrides.xml
@@ -19,9 +19,11 @@
       <match type="string" value="nondeterministic" offset="0"/>
       <match type="string" value="stochastic" offset="0"/>
     </magic>
+    <glob pattern="*.prism"/>
     <glob pattern="*.pm"/>
     <glob pattern="*.sm"/>
     <glob pattern="*.nm"/>
+    <glob pattern="*.props"/>
     <glob pattern="*.pctl"/>
     <glob pattern="*.csl"/>
     <glob pattern="*.pp"/>
diff --git a/prism/etc/syntax-highlighters/nedit/prism.pats b/prism/etc/syntax-highlighters/nedit/prism.pats
index a750c8c5..04521a94 100644
--- a/prism/etc/syntax-highlighters/nedit/prism.pats
+++ b/prism/etc/syntax-highlighters/nedit/prism.pats
@@ -37,7 +37,7 @@ nedit.highlightPatterns: PRISM:1:0{\n\
 		Identifier:"<([A-Za-z_][A-Za-z0-9_]*)>":::PRISM Identifier::\n\
 		Numeric:"<(([0-9]*(\\.)?[0-9]+([eE]([-+])?[0-9]+)?)|([1-9][0-9]*)|0)>":::PRISM Numeric::\n\
 	}
-nedit.languageModes: 	PRISM:.pm .nm .sm .pctl .csl .pp::::::"!&|->:;,.()[]{}=<+*/'?""":
+nedit.languageModes: 	PRISM:.prism .pm .nm .sm .props .pctl .csl .pp::::::"!&|->:;,.()[]{}=<+*/'?""":
 nedit.styles: 	PRISM Comment:darkGreen:Italic\n\
 	PRISM Identifier:darkRed:Plain\n\
 	PRISM Numeric:Blue:Plain\n\
diff --git a/prism/etc/syntax-highlighters/textwrangler/prism.plist b/prism/etc/syntax-highlighters/textwrangler/prism.plist
index f6a63912..775a2fed 100644
--- a/prism/etc/syntax-highlighters/textwrangler/prism.plist
+++ b/prism/etc/syntax-highlighters/textwrangler/prism.plist
@@ -69,6 +69,10 @@ Copy this file into ~/Library/Application Support/TextWrangler/Language Modules/
 	</array>
 	<key>BBLMSuffixMap</key>
 	<array>
+		<dict>
+			<key>BBLMLanguageSuffix</key>
+			<string>.prism</string>
+		</dict>
 		<dict>
 			<key>BBLMLanguageSuffix</key>
 			<string>.pm</string>
@@ -81,6 +85,10 @@ Copy this file into ~/Library/Application Support/TextWrangler/Language Modules/
 			<key>BBLMLanguageSuffix</key>
 			<string>.sm</string>
 		</dict>
+		<dict>
+			<key>BBLMLanguageSuffix</key>
+			<string>.props</string>
+		</dict>
 		<dict>
 			<key>BBLMLanguageSuffix</key>
 			<string>.pctl</string>
diff --git a/prism/etc/syntax-highlighters/vim/README b/prism/etc/syntax-highlighters/vim/README
index 01f61cb9..27052ce6 100644
--- a/prism/etc/syntax-highlighters/vim/README
+++ b/prism/etc/syntax-highlighters/vim/README
@@ -2,6 +2,8 @@ To install, copy the files prismmodel.vim and prismproperty.vim to a directory w
 
 Then add the following 3 lines to your filetype.vim (on Unix, this can be in ~/.vim/filetype.vim):
 
+au BufRead,BufNewFile *.prism setfiletype prismmodel
 au BufRead,BufNewFile *.[pns]m setfiletype prismmodel
 au BufRead,BufNewFile *.smg setfiletype prismmodel
+au BufRead,BufNewFile *.props setfiletype prismproperty
 au BufRead,BufNewFile *.pctl setfiletype prismproperty