--- a/etc/isar-keywords.el Wed Oct 24 19:46:00 2007 +0200
+++ b/etc/isar-keywords.el Wed Oct 24 19:46:01 2007 +0200
@@ -1,6 +1,6 @@
;;
;; Keyword classification tables for Isabelle/Isar.
-;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal.
+;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
;;
;; $Id$
@@ -199,6 +199,7 @@
"sledgehammer"
"sorry"
"specification"
+ "statespace"
"subclass"
"subsect"
"subsection"
@@ -479,6 +480,7 @@
"rep_datatype"
"setup"
"simproc_setup"
+ "statespace"
"syntax"
"text"
"text_raw"
--- a/lib/jedit/isabelle.xml Wed Oct 24 19:46:00 2007 +0200
+++ b/lib/jedit/isabelle.xml Wed Oct 24 19:46:01 2007 +0200
@@ -1,6 +1,6 @@
<?xml version="1.0"?>
<!DOCTYPE MODE SYSTEM "xmode.dtd">
-<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + FOL + ZF. -->
+<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
<!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->
<!-- $Id$ -->
<MODE>
@@ -280,6 +280,7 @@
<OPERATOR>sorry</OPERATOR>
<OPERATOR>specification</OPERATOR>
<KEYWORD4>states</KEYWORD4>
+ <OPERATOR>statespace</OPERATOR>
<KEYWORD4>structure</KEYWORD4>
<OPERATOR>subclass</OPERATOR>
<OPERATOR>subsect</OPERATOR>