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>