1.1 --- a/lib/jedit/isabelle.xml	Thu Jul 10 21:12:34 2008 +0200
     1.2 +++ b/lib/jedit/isabelle.xml	Thu Jul 10 22:47:26 2008 +0200
     1.3 @@ -174,6 +174,7 @@
     1.4        <OPERATOR>lemma</OPERATOR>
     1.5        <OPERATOR>lemmas</OPERATOR>
     1.6        <OPERATOR>let</OPERATOR>
     1.7 +      <INVALID>linear_undo</INVALID>
     1.8        <OPERATOR>local</OPERATOR>
     1.9        <OPERATOR>locale</OPERATOR>
    1.10        <OPERATOR>method_setup</OPERATOR>