s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
810 Commits
5 Branches
0 Tags
31 MiB
 
 
 
 
 
 
Tree: 5a5eb34bc3
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '5a5eb34bc3'
${ noResults }
prism-accumulation/prism/etc
Dave Parker 5a5eb34bc3
Makefile tweak: miscopied CUDD XCFLAGS for Solaris. 		16 years ago
..
scripts Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk. 17 years ago
Overrides.xml Updated Gnome highlighting/MIME types to include precprocessor stuff. 19 years ago
README README in etc. 16 years ago
p16.png Changed the icons to the new style 19 years ago
p24.png Changed the icons to the new style 19 years ago
p32.png Changed the icons to the new style 19 years ago
p48.png Changed the icons to the new style 19 years ago
p64.png Changed the icons to the new style 19 years ago
p128.png Changed the icons to the new style 19 years ago
prism-eclipse-formatter.xml Tweaks to Eclipse Java formatting defn. 17 years ago
prism.css Preprocessor in prism.css file. 18 years ago
prism.ico Changed the icons to the new style 19 years ago
prism.lang Updated Gnome highlighting/MIME types to include precprocessor stuff. 19 years ago
prism.pats Added .pp to filter for NEdit syntax highlighting file. 19 years ago
prism.tex PRISM trunk layout rearrangement. 20 years ago

README 

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.