# HG changeset patch
# User wenzelm
# Date 1193247960 -7200
# Node ID 66a33a664609aa71a83eb4d8e54448cb13d0d8ff
# Parent  d70d6dbc3a60890d6608f27cc548895d354cb7ad
added HOL-Statespace session;

diff -r d70d6dbc3a60 -r 66a33a664609 Admin/update-keywords
--- a/Admin/update-keywords	Wed Oct 24 19:21:40 2007 +0200
+++ b/Admin/update-keywords	Wed Oct 24 19:46:00 2007 +0200
@@ -14,7 +14,8 @@
 cd "$ISABELLE_HOME/etc"
 
 isatool keywords -t emacs \
-  "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz"
+  "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \
+  "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz"
 
 isatool keywords -t emacs -k ZF \
   "$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
@@ -25,5 +26,6 @@
 cd "$ISABELLE_HOME/lib/jedit"
 
 isatool keywords -t jedit \
-  "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
+  "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" \
+  "$LOG/HOL-Statespace.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"