1.1 --- a/lib/jedit/isabelle.xml Wed Oct 24 19:46:00 2007 +0200
1.2 +++ b/lib/jedit/isabelle.xml Wed Oct 24 19:46:01 2007 +0200
1.3 @@ -1,6 +1,6 @@
1.4 <?xml version="1.0"?>
1.5 <!DOCTYPE MODE SYSTEM "xmode.dtd">
1.6 -<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + FOL + ZF. -->
1.7 +<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
1.8 <!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->
1.9 <!-- $Id$ -->
1.10 <MODE>
1.11 @@ -280,6 +280,7 @@
1.12 <OPERATOR>sorry</OPERATOR>
1.13 <OPERATOR>specification</OPERATOR>
1.14 <KEYWORD4>states</KEYWORD4>
1.15 + <OPERATOR>statespace</OPERATOR>
1.16 <KEYWORD4>structure</KEYWORD4>
1.17 <OPERATOR>subclass</OPERATOR>
1.18 <OPERATOR>subsect</OPERATOR>