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