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