HOA in scripts readme.

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

prism/etc/README.txt

@@ -10,7 +10,7 @@ Where appropriate, comments/instructions are included in the files themselves.
    - 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)
+     (these scripts run on Linux/Unix/OS X and require prism to be in your path)
    - prism-filler.py - automates filling a text file (e.g. latex) with results
      from log files. This script requires Python, run it without arguments for
      more help.
@@ -19,6 +19,10 @@ Where appropriate, comments/instructions are included in the files themselves.
    - prism-auto - automates PRISM execution for testing/benchmarking
    - prism-test - automates running PRISM in test mode
 
+ * scripts/hoa/ - Scripts for attaching external LTL-to-automaton translators
+   to PRISM via the HOA (Hanoi Omega Automata) format. See:
+   http://www.prismmodelchecker.org/manual/ConfiguringPRISM/AutomataGeneration
+
  * syntax-highlighters/ - Syntax highlighting configs for various tools
    - gnome/{Overrides.xml,prism.lang} - files for Gnome environment
    - nedit/prism.pats - files for NEdit editor