Re-arrangment of etc/ and textwrangler syntax highlighting.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1903 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · 929c04ce9d
13 changed files with 117 additions and 23 deletions
--- a/prism/etc/README
+++ b/prism/etc/README
@ -1,23 +0,0 @@
-This directory contains the following.
-
- * PRISM icons for shortcuts/etc. - p*.png, prism.ico
-
- * Various useful scripts in scripts/
-   - prism2html - converts PRISM models/properties to HTML
-   - prism2latex - converts PRISM models/properties to LaTex
-   - prism3to4 - fixes some common problems in old (3.x and earlier) PRISM models
-   - prism-statra - combines a PRISM .sta and .tra file into one file
-   (these scripts run on Linux/Unix/OS X and require prism to be in your path)
-
- * MIME type and syntax highlighting config for PRISM (under Gnome) - Overrides.xml, prism.lang
-
- * Syntax highlighting pattern for PRISM in NEdit - prism.pats
-
- * CSS style file for PRISM-generated HTML code - prism.css
-
- * LaTeX file for PRISM-generated LaTeX code - prism.tex
- 
- * Eclipse Java code formatting definitions - prism-eclipse-formatter.xml
-
-Where appropriate, comments/instructions are included in the files themselves.
-
--- a/prism/etc/README.txt
+++ b/prism/etc/README.txt
@ -0,0 +1,23 @@
+This directory contains the following files.
+Where appropriate, comments/instructions are included in the files themselves.
+
+ * icons/ - PRISM icons for shortcuts/etc.
+   - p*.png - Variously sized PNGs
+   - prism.ico - Windows icon file
+
+ * scripts/ - Various useful scripts
+   - prism2html - converts PRISM models/properties to HTML
+   - prism2latex - converts PRISM models/properties to LaTex
+   - prism3to4 - fixes some common problems in old (3.x and earlier) PRISM models
+   - prism-statra - combines a PRISM .sta and .tra file into one file
+   (these scripts run on Linux/Unix/OS X and require prism to be in your path)
+
+ * syntax-highlighters/ - Syntax highlighting configs for various tools
+   - gnome/{Overrides.xml,prism.lang} - files for Gnome environment
+   - nedit/prism.pats - files for NEdit editor
+   
+ * prism.css - CSS style file for PRISM-generated HTML code
+
+ * prism.tex - LaTeX file for PRISM-generated LaTeX code
+ 
+ * prism-eclipse-formatter.xml - Eclipse Java code formatting definitions
--- a/prism/etc/icons/p128.png
+++ b/prism/etc/icons/p128.png
--- a/prism/etc/icons/p16.png
+++ b/prism/etc/icons/p16.png
--- a/prism/etc/icons/p24.png
+++ b/prism/etc/icons/p24.png
--- a/prism/etc/icons/p32.png
+++ b/prism/etc/icons/p32.png
--- a/prism/etc/icons/p48.png
+++ b/prism/etc/icons/p48.png
--- a/prism/etc/icons/p64.png
+++ b/prism/etc/icons/p64.png
--- a/prism/etc/icons/prism.ico
+++ b/prism/etc/icons/prism.ico
--- a/prism/etc/syntax-highlighters/gnome/Overrides.xml
+++ b/prism/etc/syntax-highlighters/gnome/Overrides.xml
--- a/prism/etc/syntax-highlighters/gnome/prism.lang
+++ b/prism/etc/syntax-highlighters/gnome/prism.lang
--- a/prism/etc/syntax-highlighters/nedit/prism.pats
+++ b/prism/etc/syntax-highlighters/nedit/prism.pats
--- a/prism/etc/syntax-highlighters/textwrangler/prism.plist
+++ b/prism/etc/syntax-highlighters/textwrangler/prism.plist
@ -0,0 +1,94 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
+<plist version="1.0">
+<dict>
+	<key>BBEditDocumentType</key>
+	<string>CodelessLanguageModule</string>
+	<key>BBLMLanguageDisplayName</key>
+	<string>PRISM</string>
+	<key>BBLMLanguageCode</key>
+	<string>PRIS</string>
+	<key>BBLMColorsSyntax</key>
+	<true/>
+	<key>BBLMScansFunctions</key>
+	<false/>
+	<key>BBLMIsCaseSensitive</key>
+	<true/>
+	<key>BBLMKeywordList</key>
+	<array>
+		<string>bool</string>
+		<string>C</string>
+		<string>ceil</string>
+		<string>const</string>
+		<string>ctmc</string>
+		<string>double</string>
+		<string>dtmc</string>
+		<string>endinit</string>
+		<string>endmodule</string>
+		<string>endrewards</string>
+		<string>endsystem</string>
+		<string>F</string>
+		<string>false</string>
+		<string>floor</string>
+		<string>formula</string>
+		<string>func</string>
+		<string>G</string>
+		<string>global</string>
+		<string>I</string>
+		<string>init</string>
+		<string>int</string>
+		<string>label</string>
+		<string>max</string>
+		<string>mdp</string>
+		<string>min</string>
+		<string>module</string>
+		<string>nondeterministic</string>
+		<string>P</string>
+		<string>Pmax</string>
+		<string>Pmin</string>
+		<string>prob</string>
+		<string>probabilistic</string>
+		<string>R</string>
+		<string>rate</string>
+		<string>rewards</string>
+		<string>Rmax</string>
+		<string>Rmin</string>
+		<string>S</string>
+		<string>stochastic</string>
+		<string>system</string>
+		<string>true</string>
+		<string>U</string>
+		<string>X</string>
+	</array>
+	<key>BBLMSuffixMap</key>
+	<array>
+		<dict>
+			<key>BBLMLanguageSuffix</key>
+			<string>.pm</string>
+		</dict>
+		<dict>
+			<key>BBLMLanguageSuffix</key>
+			<string>.nm</string>
+		</dict>
+		<dict>
+			<key>BBLMLanguageSuffix</key>
+			<string>.sm</string>
+		</dict>
+		<dict>
+			<key>BBLMLanguageSuffix</key>
+			<string>.pctl</string>
+		</dict>
+		<dict>
+			<key>BBLMLanguageSuffix</key>
+			<string>.csl</string>
+		</dict>
+	</array>
+	<key>Language Features</key>
+	<dict>
+		<key>Open Line Comments</key>
+		<string>//</string>
+		<key>Identifier and Keyword Characters</key>
+		<string>0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ_abcdefghijklmnopqrstuvwxyz</string>
+	</dict>
+</dict>
+</plist>