From 331a33b4249b00ee08823e32960329eb8c88b8e8 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 22 Jan 2010 07:49:47 +0000 Subject: [PATCH] README in etc. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1700 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/README | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/prism/etc/README b/prism/etc/README index 5f752b4f..f3fe3d3d 100644 --- a/prism/etc/README +++ b/prism/etc/README @@ -1,11 +1,12 @@ This directory contains the following. - * PRISM icons for shortcuts/etc. - p*.png, p*.ico + * 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 @@ -15,6 +16,8 @@ This directory contains the following. * 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.