changeset 30745 | 2823a89c76a4 |
parent 30527 | fae488569faf |
child 30856 | 8b8d86cc2437 |
--- a/lib/jedit/isabelle.xml Fri Mar 27 15:42:53 2009 +0100 +++ b/lib/jedit/isabelle.xml Fri Mar 27 21:46:20 2009 +0100 @@ -45,6 +45,7 @@ <OPERATOR>ML</OPERATOR> <LABEL>ML_command</LABEL> <OPERATOR>ML_prf</OPERATOR> + <OPERATOR>ML_test</OPERATOR> <LABEL>ML_val</LABEL> <OPERATOR>abbreviation</OPERATOR> <KEYWORD4>actions</KEYWORD4>