1.1 --- a/etc/isar-keywords.el	Wed Oct 24 19:46:00 2007 +0200
     1.2 +++ b/etc/isar-keywords.el	Wed Oct 24 19:46:01 2007 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal.
     1.7 +;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  ;; $Id$
    1.11 @@ -199,6 +199,7 @@
    1.12      "sledgehammer"
    1.13      "sorry"
    1.14      "specification"
    1.15 +    "statespace"
    1.16      "subclass"
    1.17      "subsect"
    1.18      "subsection"
    1.19 @@ -479,6 +480,7 @@
    1.20      "rep_datatype"
    1.21      "setup"
    1.22      "simproc_setup"
    1.23 +    "statespace"
    1.24      "syntax"
    1.25      "text"
    1.26      "text_raw"

     2.1 --- a/lib/jedit/isabelle.xml	Wed Oct 24 19:46:00 2007 +0200
     2.2 +++ b/lib/jedit/isabelle.xml	Wed Oct 24 19:46:01 2007 +0200
     2.3 @@ -1,6 +1,6 @@
     2.4  <?xml version="1.0"?>
     2.5  <!DOCTYPE MODE SYSTEM "xmode.dtd">
     2.6 -<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + FOL + ZF. -->
     2.7 +<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
     2.8  <!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->
     2.9  <!-- $Id$ -->
    2.10  <MODE>
    2.11 @@ -280,6 +280,7 @@
    2.12        <OPERATOR>sorry</OPERATOR>
    2.13        <OPERATOR>specification</OPERATOR>
    2.14        <KEYWORD4>states</KEYWORD4>
    2.15 +      <OPERATOR>statespace</OPERATOR>
    2.16        <KEYWORD4>structure</KEYWORD4>
    2.17        <OPERATOR>subclass</OPERATOR>
    2.18        <OPERATOR>subsect</OPERATOR>