From f2ba95d88c9d2bcf20d0592de9746025129370e4 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 7 Dec 2018 00:07:14 +0000 Subject: [PATCH] Update scripts README. --- prism/etc/README.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/etc/README.txt b/prism/etc/README.txt index 9934ab4c..a6231c58 100644 --- a/prism/etc/README.txt +++ b/prism/etc/README.txt @@ -18,6 +18,7 @@ Where appropriate, comments/instructions are included in the files themselves. automatically completes options for PRISM when run in Bash. - prism-auto - automates PRISM execution for testing/benchmarking - prism-test - automates running PRISM in test mode + - prism-install-* - install scripts for building PRISM on clean OS installs * scripts/hoa/ - Scripts for attaching external LTL-to-automaton translators to PRISM via the HOA (Hanoi Omega Automata) format. See: