lib/jedit/isabelle.xml

--- a/lib/jedit/isabelle.xml	Sun Mar 15 15:59:43 2009 +0100
+++ b/lib/jedit/isabelle.xml	Sun Mar 15 15:59:44 2009 +0100
@@ -61,6 +61,7 @@
       <LABEL>atp_kill</LABEL>
       <LABEL>atp_messages</LABEL>
       <KEYWORD4>attach</KEYWORD4>
+      <OPERATOR>attribute_setup</OPERATOR>
       <OPERATOR>automaton</OPERATOR>
       <KEYWORD4>avoids</KEYWORD4>
       <OPERATOR>ax_specification</OPERATOR>