src/Tools/jEdit/dist-template/modes/isabelle.xml
author wenzelm
Mon Dec 21 21:49:43 2009 +0100 (2009-12-21)
changeset 34797 c535fdd61732
parent 34473 ed22ea317108
child 37057 e70f9230c608
permissions -rw-r--r--
tuned keywords;
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@34419
    10
    <PROPERTY NAME="indentOpenBrackets" VALUE="{"/>
wenzelm@34419
    11
    <PROPERTY NAME="indentCloseBrackets" VALUE="}"/>
wenzelm@34419
    12
    <PROPERTY NAME="unalignedOpenBrackets" VALUE="(" />
wenzelm@34419
    13
    <PROPERTY NAME="unalignedCloseBrackets" VALUE=")" />
wenzelm@34419
    14
    <PROPERTY NAME="tabSize" VALUE="2" />
wenzelm@34419
    15
    <PROPERTY NAME="indentSize" VALUE="2" />
wenzelm@34419
    16
  </PROPS>
wenzelm@34419
    17
  <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE" ESCAPE="\">
wenzelm@34419
    18
    <SPAN TYPE="COMMENT1">
wenzelm@34419
    19
      <BEGIN>(*</BEGIN>
wenzelm@34419
    20
      <END>*)</END>
wenzelm@34419
    21
    </SPAN>
wenzelm@34419
    22
    <SPAN TYPE="COMMENT3">
wenzelm@34419
    23
      <BEGIN>{*</BEGIN>
wenzelm@34419
    24
      <END>*}</END>
wenzelm@34419
    25
    </SPAN>
wenzelm@34419
    26
    <SPAN TYPE="LITERAL1">
wenzelm@34419
    27
      <BEGIN>`</BEGIN>
wenzelm@34419
    28
      <END>`</END>
wenzelm@34419
    29
    </SPAN>
wenzelm@34419
    30
    <SPAN TYPE="LITERAL3">
wenzelm@34419
    31
      <BEGIN>"</BEGIN>
wenzelm@34419
    32
      <END>"</END>
wenzelm@34419
    33
    </SPAN>
wenzelm@34419
    34
    <KEYWORDS>
wenzelm@34797
    35
      <KEYWORD2>header</KEYWORD2>
wenzelm@34797
    36
      <KEYWORD1>theory</KEYWORD1>
wenzelm@34797
    37
      <KEYWORD2>imports</KEYWORD2>
wenzelm@34797
    38
      <KEYWORD2>uses</KEYWORD2>
wenzelm@34797
    39
      <KEYWORD2>begin</KEYWORD2>
wenzelm@34797
    40
      <KEYWORD2>end</KEYWORD2>
wenzelm@34419
    41
    </KEYWORDS>
wenzelm@34419
    42
  </RULES>
wenzelm@34419
    43
</MODE>