From 30233abc2fb7569a0e1fb789680c6e4a6d01ee60 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 21 May 2010 21:24:11 +0000 Subject: [PATCH] README.txt. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1904 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/README.txt | 46 ++++++++++++++++++++++---------------------- 1 file changed, 23 insertions(+), 23 deletions(-) diff --git a/prism/etc/README.txt b/prism/etc/README.txt index cfb73063..fe6df656 100644 --- a/prism/etc/README.txt +++ b/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