author | wenzelm |
Sat, 28 Jul 2018 19:55:14 +0200 | |
changeset 68703 | 2e31887d9664 |
parent 62909 | 5024d0c48e02 |
child 73659 | af82097b4adc |
permissions | -rw-r--r-- |
55500 | 1 |
<?xml version="1.0" encoding="UTF-8"?> |
2 |
<!DOCTYPE MODE SYSTEM "xmode.dtd"> |
|
3 |
||
4 |
<!-- Isabelle/ML mode --> |
|
5 |
<MODE> |
|
6 |
<PROPS> |
|
7 |
<PROPERTY NAME="commentStart" VALUE="(*"/> |
|
8 |
<PROPERTY NAME="commentEnd" VALUE="*)"/> |
|
68703
2e31887d9664
clarified word syntax for the sake of control symbols, e.g. \<^term>;
wenzelm
parents:
62909
diff
changeset
|
9 |
<PROPERTY NAME="noWordSep" VALUE="_'?⇩\^<>"/> |
55500 | 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 |
</MODE> |