1.1 --- a/lib/jedit/isabelle.xml	Thu Feb 28 16:54:56 2008 +0100
     1.2 +++ b/lib/jedit/isabelle.xml	Thu Feb 28 17:33:35 2008 +0100
     1.3 @@ -323,6 +323,7 @@
     1.4        <INVALID>undo</INVALID>
     1.5        <INVALID>undos_proof</INVALID>
     1.6        <OPERATOR>unfolding</OPERATOR>
     1.7 +      <LABEL>unused_thms</LABEL>
     1.8        <LABEL>use</LABEL>
     1.9        <LABEL>use_thy</LABEL>
    1.10        <KEYWORD4>uses</KEYWORD4>