README.txt.

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

prism/etc/README.txt

@@ -1,23 +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
+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