src/Tools/jEdit/src/modes/isabelle.xml
changeset 47391 d78fbe191544
parent 43287 acc680ab6204
child 52547 0ddcfc0d05d4
equal deleted inserted replaced
47390:580c37559354 47391:d78fbe191544
    31     </SPAN>
    31     </SPAN>
    32     <KEYWORDS>
    32     <KEYWORDS>
    33       <KEYWORD2>header</KEYWORD2>
    33       <KEYWORD2>header</KEYWORD2>
    34       <KEYWORD1>theory</KEYWORD1>
    34       <KEYWORD1>theory</KEYWORD1>
    35       <KEYWORD2>imports</KEYWORD2>
    35       <KEYWORD2>imports</KEYWORD2>
       
    36       <KEYWORD2>keywords</KEYWORD2>
    36       <KEYWORD2>uses</KEYWORD2>
    37       <KEYWORD2>uses</KEYWORD2>
    37       <KEYWORD2>begin</KEYWORD2>
    38       <KEYWORD2>begin</KEYWORD2>
    38       <KEYWORD2>end</KEYWORD2>
    39       <KEYWORD2>end</KEYWORD2>
    39     </KEYWORDS>
    40     </KEYWORDS>
    40   </RULES>
    41   </RULES>