lib/jedit/isabelle.xml
changeset 29113 fb31b7a6c858
parent 28656 e92c79b3b154
child 29607 2db3537c3535
     1.1 --- a/lib/jedit/isabelle.xml	Mon Dec 15 21:41:00 2008 +0100
     1.2 +++ b/lib/jedit/isabelle.xml	Mon Dec 15 21:41:21 2008 +0100
     1.3 @@ -56,6 +56,7 @@
     1.4        <OPERATOR>atom_decl</OPERATOR>
     1.5        <LABEL>atp_info</LABEL>
     1.6        <LABEL>atp_kill</LABEL>
     1.7 +      <LABEL>atp_messages</LABEL>
     1.8        <KEYWORD4>attach</KEYWORD4>
     1.9        <OPERATOR>automaton</OPERATOR>
    1.10        <KEYWORD4>avoids</KEYWORD4>
    1.11 @@ -154,7 +155,6 @@
    1.12        <KEYWORD4>if</KEYWORD4>
    1.13        <KEYWORD4>imports</KEYWORD4>
    1.14        <KEYWORD4>in</KEYWORD4>
    1.15 -      <KEYWORD4>includes</KEYWORD4>
    1.16        <KEYWORD4>induction</KEYWORD4>
    1.17        <OPERATOR>inductive</OPERATOR>
    1.18        <KEYWORD1>inductive_cases</KEYWORD1>
    1.19 @@ -286,6 +286,7 @@
    1.20        <OPERATOR>statespace</OPERATOR>
    1.21        <KEYWORD4>structure</KEYWORD4>
    1.22        <OPERATOR>subclass</OPERATOR>
    1.23 +      <OPERATOR>sublocale</OPERATOR>
    1.24        <OPERATOR>subsect</OPERATOR>
    1.25        <OPERATOR>subsection</OPERATOR>
    1.26        <OPERATOR>subsubsect</OPERATOR>