src/Tools/jEdit/dist-template/modes/isabelle.xml
author wenzelm
Fri, 21 May 2010 23:48:48 +0200
changeset 37057 e70f9230c608
parent 34797 c535fdd61732
permissions -rw-r--r--
more brackets -- unaligned to prevent odd auto-indentation;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34419
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
     1
<?xml version="1.0"?>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
     2
<!DOCTYPE MODE SYSTEM "xmode.dtd">
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
     3
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
     4
<!-- Isabelle theory mode -->
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
     5
<MODE>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
     6
  <PROPS>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
     7
    <PROPERTY NAME="commentStart" VALUE="(*"/>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
     8
    <PROPERTY NAME="commentEnd" VALUE="*)"/>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
     9
    <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
37057
e70f9230c608 more brackets -- unaligned to prevent odd auto-indentation;
wenzelm
parents: 34797
diff changeset
    10
    <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(" />
e70f9230c608 more brackets -- unaligned to prevent odd auto-indentation;
wenzelm
parents: 34797
diff changeset
    11
    <PROPERTY NAME="unalignedCloseBrackets" VALUE=")]}" />
34419
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    12
    <PROPERTY NAME="tabSize" VALUE="2" />
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    13
    <PROPERTY NAME="indentSize" VALUE="2" />
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    14
  </PROPS>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    15
  <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE" ESCAPE="\">
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    16
    <SPAN TYPE="COMMENT1">
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    17
      <BEGIN>(*</BEGIN>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    18
      <END>*)</END>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    19
    </SPAN>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    20
    <SPAN TYPE="COMMENT3">
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    21
      <BEGIN>{*</BEGIN>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    22
      <END>*}</END>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    23
    </SPAN>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    24
    <SPAN TYPE="LITERAL1">
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    25
      <BEGIN>`</BEGIN>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    26
      <END>`</END>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    27
    </SPAN>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    28
    <SPAN TYPE="LITERAL3">
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    29
      <BEGIN>"</BEGIN>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    30
      <END>"</END>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    31
    </SPAN>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    32
    <KEYWORDS>
34797
c535fdd61732 tuned keywords;
wenzelm
parents: 34473
diff changeset
    33
      <KEYWORD2>header</KEYWORD2>
c535fdd61732 tuned keywords;
wenzelm
parents: 34473
diff changeset
    34
      <KEYWORD1>theory</KEYWORD1>
c535fdd61732 tuned keywords;
wenzelm
parents: 34473
diff changeset
    35
      <KEYWORD2>imports</KEYWORD2>
c535fdd61732 tuned keywords;
wenzelm
parents: 34473
diff changeset
    36
      <KEYWORD2>uses</KEYWORD2>
c535fdd61732 tuned keywords;
wenzelm
parents: 34473
diff changeset
    37
      <KEYWORD2>begin</KEYWORD2>
c535fdd61732 tuned keywords;
wenzelm
parents: 34473
diff changeset
    38
      <KEYWORD2>end</KEYWORD2>
34419
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    39
    </KEYWORDS>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    40
  </RULES>
30e49efdd4e3 basic isabelle mode setup;
wenzelm
parents:
diff changeset
    41
</MODE>