1.1 --- a/lib/jedit/isabelle.xml Wed Jan 21 23:21:44 2009 +0100
1.2 +++ b/lib/jedit/isabelle.xml Wed Jan 21 23:25:17 2009 +0100
1.3 @@ -2,7 +2,6 @@
1.4 <!DOCTYPE MODE SYSTEM "xmode.dtd">
1.5 <!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
1.6 <!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->
1.7 -<!-- $Id$ -->
1.8 <MODE>
1.9 <PROPS>
1.10 <PROPERTY NAME="commentStart" VALUE="(*"/>
1.11 @@ -36,7 +35,11 @@
1.12 <OPERATOR>.</OPERATOR>
1.13 <OPERATOR>..</OPERATOR>
1.14 <INVALID>Isabelle.command</INVALID>
1.15 + <INVALID>Isar.begin_document</INVALID>
1.16 <INVALID>Isar.command</INVALID>
1.17 + <INVALID>Isar.define_command</INVALID>
1.18 + <INVALID>Isar.edit_document</INVALID>
1.19 + <INVALID>Isar.end_document</INVALID>
1.20 <INVALID>Isar.insert</INVALID>
1.21 <INVALID>Isar.remove</INVALID>
1.22 <OPERATOR>ML</OPERATOR>
1.23 @@ -171,7 +174,6 @@
1.24 <OPERATOR>interpret</OPERATOR>
1.25 <OPERATOR>interpretation</OPERATOR>
1.26 <KEYWORD4>intros</KEYWORD4>
1.27 - <OPERATOR>invoke</OPERATOR>
1.28 <KEYWORD4>is</KEYWORD4>
1.29 <OPERATOR>judgment</OPERATOR>
1.30 <INVALID>kill</INVALID>
1.31 @@ -239,7 +241,6 @@
1.32 <LABEL>print_drafts</LABEL>
1.33 <LABEL>print_facts</LABEL>
1.34 <LABEL>print_induct_rules</LABEL>
1.35 - <LABEL>print_interps</LABEL>
1.36 <LABEL>print_locale</LABEL>
1.37 <LABEL>print_locales</LABEL>
1.38 <LABEL>print_methods</LABEL>