# HG changeset patch
# User wenzelm
# Date 1193247961 -7200
# Node ID c5f80d70537e81d554572022271e464cd0f223e8
# Parent  66a33a664609aa71a83eb4d8e54448cb13d0d8ff
*** empty log message ***

diff -r 66a33a664609 -r c5f80d70537e etc/isar-keywords.el
--- 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"
diff -r 66a33a664609 -r c5f80d70537e lib/jedit/isabelle.xml
--- 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>