lib/jedit/isabelle.xml
changeset 29882 29154e67731d
parent 29607 2db3537c3535
child 30463 f1cb00030d4f
     1.1 --- a/lib/jedit/isabelle.xml	Thu Feb 12 12:35:45 2009 -0800
     1.2 +++ b/lib/jedit/isabelle.xml	Fri Feb 13 07:53:38 2009 +1100
     1.3 @@ -135,6 +135,7 @@
     1.4        <KEYWORD4>file</KEYWORD4>
     1.5        <OPERATOR>finalconsts</OPERATOR>
     1.6        <OPERATOR>finally</OPERATOR>
     1.7 +      <LABEL>find_consts</LABEL>
     1.8        <LABEL>find_theorems</LABEL>
     1.9        <KEYWORD2>fix</KEYWORD2>
    1.10        <KEYWORD4>fixes</KEYWORD4>