equal
deleted
inserted
replaced
1 <?xml version="1.0"?> |
|
2 <!DOCTYPE MODE SYSTEM "xmode.dtd"> |
|
3 |
|
4 <!-- Isabelle theory mode --> |
|
5 <MODE> |
|
6 <PROPS> |
|
7 <PROPERTY NAME="commentStart" VALUE="(*"/> |
|
8 <PROPERTY NAME="commentEnd" VALUE="*)"/> |
|
9 <PROPERTY NAME="noWordSep" VALUE="_'.?"/> |
|
10 <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(" /> |
|
11 <PROPERTY NAME="unalignedCloseBrackets" VALUE=")]}" /> |
|
12 <PROPERTY NAME="tabSize" VALUE="2" /> |
|
13 <PROPERTY NAME="indentSize" VALUE="2" /> |
|
14 </PROPS> |
|
15 <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE" ESCAPE="\"> |
|
16 <SPAN TYPE="COMMENT1"> |
|
17 <BEGIN>(*</BEGIN> |
|
18 <END>*)</END> |
|
19 </SPAN> |
|
20 <SPAN TYPE="COMMENT3"> |
|
21 <BEGIN>{*</BEGIN> |
|
22 <END>*}</END> |
|
23 </SPAN> |
|
24 <SPAN TYPE="LITERAL1"> |
|
25 <BEGIN>`</BEGIN> |
|
26 <END>`</END> |
|
27 </SPAN> |
|
28 <SPAN TYPE="LITERAL3"> |
|
29 <BEGIN>"</BEGIN> |
|
30 <END>"</END> |
|
31 </SPAN> |
|
32 <KEYWORDS> |
|
33 <KEYWORD2>header</KEYWORD2> |
|
34 <KEYWORD1>theory</KEYWORD1> |
|
35 <KEYWORD2>imports</KEYWORD2> |
|
36 <KEYWORD2>uses</KEYWORD2> |
|
37 <KEYWORD2>begin</KEYWORD2> |
|
38 <KEYWORD2>end</KEYWORD2> |
|
39 </KEYWORDS> |
|
40 </RULES> |
|
41 </MODE> |
|