src/Tools/jEdit/src/modes/isabelle-session.xml
author wenzelm
Tue Aug 23 12:20:12 2011 +0200 (2011-08-23)
changeset 44385 e7fdb008aa7d
parent 43287 acc680ab6204
child 48280 7d86239986c2
permissions -rw-r--r--
propagate editor perspective through document model;
     1 <?xml version="1.0"?>
     2 <!DOCTYPE MODE SYSTEM "xmode.dtd">
     3 
     4 <!-- Isabelle session mode -->
     5 <MODE>
     6   <PROPS>
     7     <PROPERTY NAME="commentStart" VALUE="(*"/>
     8     <PROPERTY NAME="commentEnd" VALUE="*)"/>
     9     <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
    10     <PROPERTY NAME="unalignedOpenBrackets" VALUE="(" />
    11     <PROPERTY NAME="unalignedCloseBrackets" VALUE=")" />
    12     <PROPERTY NAME="tabSize" VALUE="2" />
    13     <PROPERTY NAME="indentSize" VALUE="2" />
    14   </PROPS>
    15   <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE" ESCAPE="\">
    16     <SPAN TYPE="COMMENT1">
    17       <BEGIN>(*</BEGIN>
    18       <END>*)</END>
    19     </SPAN>
    20     <SPAN TYPE="COMMENT3">
    21       <BEGIN>{*</BEGIN>
    22       <END>*}</END>
    23     </SPAN>
    24     <SPAN TYPE="LITERAL1">
    25       <BEGIN>`</BEGIN>
    26       <END>`</END>
    27     </SPAN>
    28     <SPAN TYPE="LITERAL3">
    29       <BEGIN>"</BEGIN>
    30       <END>"</END>
    31     </SPAN>
    32     <KEYWORDS>
    33       <KEYWORD1>session</KEYWORD1>
    34       <KEYWORD2>parent</KEYWORD2>
    35       <KEYWORD2>imports</KEYWORD2>
    36       <KEYWORD2>uses</KEYWORD2>
    37       <KEYWORD2>options</KEYWORD2>
    38       <KEYWORD2>dependencies</KEYWORD2>
    39     </KEYWORDS>
    40   </RULES>
    41 </MODE>