src/Tools/jEdit/src/modes/isabelle-session.xml
changeset 43287 acc680ab6204
parent 34798 db0da30bca26
child 48280 7d86239986c2
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/jEdit/src/modes/isabelle-session.xml	Wed Jun 08 22:06:05 2011 +0200
     1.3 @@ -0,0 +1,41 @@
     1.4 +<?xml version="1.0"?>
     1.5 +<!DOCTYPE MODE SYSTEM "xmode.dtd">
     1.6 +
     1.7 +<!-- Isabelle session mode -->
     1.8 +<MODE>
     1.9 +  <PROPS>
    1.10 +    <PROPERTY NAME="commentStart" VALUE="(*"/>
    1.11 +    <PROPERTY NAME="commentEnd" VALUE="*)"/>
    1.12 +    <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
    1.13 +    <PROPERTY NAME="unalignedOpenBrackets" VALUE="(" />
    1.14 +    <PROPERTY NAME="unalignedCloseBrackets" VALUE=")" />
    1.15 +    <PROPERTY NAME="tabSize" VALUE="2" />
    1.16 +    <PROPERTY NAME="indentSize" VALUE="2" />
    1.17 +  </PROPS>
    1.18 +  <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE" ESCAPE="\">
    1.19 +    <SPAN TYPE="COMMENT1">
    1.20 +      <BEGIN>(*</BEGIN>
    1.21 +      <END>*)</END>
    1.22 +    </SPAN>
    1.23 +    <SPAN TYPE="COMMENT3">
    1.24 +      <BEGIN>{*</BEGIN>
    1.25 +      <END>*}</END>
    1.26 +    </SPAN>
    1.27 +    <SPAN TYPE="LITERAL1">
    1.28 +      <BEGIN>`</BEGIN>
    1.29 +      <END>`</END>
    1.30 +    </SPAN>
    1.31 +    <SPAN TYPE="LITERAL3">
    1.32 +      <BEGIN>"</BEGIN>
    1.33 +      <END>"</END>
    1.34 +    </SPAN>
    1.35 +    <KEYWORDS>
    1.36 +      <KEYWORD1>session</KEYWORD1>
    1.37 +      <KEYWORD2>parent</KEYWORD2>
    1.38 +      <KEYWORD2>imports</KEYWORD2>
    1.39 +      <KEYWORD2>uses</KEYWORD2>
    1.40 +      <KEYWORD2>options</KEYWORD2>
    1.41 +      <KEYWORD2>dependencies</KEYWORD2>
    1.42 +    </KEYWORDS>
    1.43 +  </RULES>
    1.44 +</MODE>