1.1 --- a/lib/jedit/isabelle.xml	Fri Mar 27 15:42:53 2009 +0100
     1.2 +++ b/lib/jedit/isabelle.xml	Fri Mar 27 21:46:20 2009 +0100
     1.3 @@ -45,6 +45,7 @@
     1.4        <OPERATOR>ML</OPERATOR>
     1.5        <LABEL>ML_command</LABEL>
     1.6        <OPERATOR>ML_prf</OPERATOR>
     1.7 +      <OPERATOR>ML_test</OPERATOR>
     1.8        <LABEL>ML_val</LABEL>
     1.9        <OPERATOR>abbreviation</OPERATOR>
    1.10        <KEYWORD4>actions</KEYWORD4>