From 8277c5278ae651114d238f014b770ad6976d2937 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 18 Oct 2007 14:51:26 +0000 Subject: [PATCH] README file for etc directory. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@461 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/README | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 prism/etc/README diff --git a/prism/etc/README b/prism/etc/README new file mode 100644 index 00000000..6e454d71 --- /dev/null +++ b/prism/etc/README @@ -0,0 +1,14 @@ +This directory contains the following. + + * PRISM icons for shortcuts/etc. - p*.png, p*.ico + + * 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 + +Where appropriate, comments/instructions are included in the files themselves. +