src/Tools/jEdit/dist-template/modes/isabelle.xml
changeset 37057 e70f9230c608
parent 34797 c535fdd61732
equal deleted inserted replaced
37056:d03b57457421 37057:e70f9230c608
     5 <MODE>
     5 <MODE>
     6   <PROPS>
     6   <PROPS>
     7     <PROPERTY NAME="commentStart" VALUE="(*"/>
     7     <PROPERTY NAME="commentStart" VALUE="(*"/>
     8     <PROPERTY NAME="commentEnd" VALUE="*)"/>
     8     <PROPERTY NAME="commentEnd" VALUE="*)"/>
     9     <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
     9     <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
    10     <PROPERTY NAME="indentOpenBrackets" VALUE="{"/>
    10     <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(" />
    11     <PROPERTY NAME="indentCloseBrackets" VALUE="}"/>
    11     <PROPERTY NAME="unalignedCloseBrackets" VALUE=")]}" />
    12     <PROPERTY NAME="unalignedOpenBrackets" VALUE="(" />
       
    13     <PROPERTY NAME="unalignedCloseBrackets" VALUE=")" />
       
    14     <PROPERTY NAME="tabSize" VALUE="2" />
    12     <PROPERTY NAME="tabSize" VALUE="2" />
    15     <PROPERTY NAME="indentSize" VALUE="2" />
    13     <PROPERTY NAME="indentSize" VALUE="2" />
    16   </PROPS>
    14   </PROPS>
    17   <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE" ESCAPE="\">
    15   <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE" ESCAPE="\">
    18     <SPAN TYPE="COMMENT1">
    16     <SPAN TYPE="COMMENT1">