1.1 --- a/lib/jedit/isabelle.xml	Wed Jul 16 16:17:26 2008 +0200
     1.2 +++ b/lib/jedit/isabelle.xml	Wed Jul 16 16:39:11 2008 +0200
     1.3 @@ -36,6 +36,9 @@
     1.4        <OPERATOR>.</OPERATOR>
     1.5        <OPERATOR>..</OPERATOR>
     1.6        <INVALID>Isabelle.command</INVALID>
     1.7 +      <INVALID>Isar.command</INVALID>
     1.8 +      <INVALID>Isar.insert</INVALID>
     1.9 +      <INVALID>Isar.remove</INVALID>
    1.10        <OPERATOR>ML</OPERATOR>
    1.11        <LABEL>ML_command</LABEL>
    1.12        <LABEL>ML_val</LABEL>