lib/jedit/isabelle.xml
changeset 29607 2db3537c3535
parent 29113 fb31b7a6c858
child 29882 29154e67731d
     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>