author | wenzelm |
Tue, 27 Jun 2017 21:36:58 +0200 | |
changeset 66205 | e9fa94f43a15 |
parent 62909 | 5024d0c48e02 |
child 68703 | 2e31887d9664 |
permissions | -rw-r--r-- |
53133 | 1 |
<?xml version="1.0" encoding="UTF-8"?> |
48366 | 2 |
<!DOCTYPE MODE SYSTEM "xmode.dtd"> |
3 |
||
4 |
<!-- Isabelle options mode --> |
|
5 |
<MODE> |
|
6 |
<PROPS> |
|
53932
f19be93909f1
more uniform modes (NB: comments etc. are handled by isabelle.Token_Markup.Marker);
wenzelm
parents:
53931
diff
changeset
|
7 |
<PROPERTY NAME="commentStart" VALUE="(*"/> |
f19be93909f1
more uniform modes (NB: comments etc. are handled by isabelle.Token_Markup.Marker);
wenzelm
parents:
53931
diff
changeset
|
8 |
<PROPERTY NAME="commentEnd" VALUE="*)"/> |
62909
5024d0c48e02
clarified word syntax: "." is separator or delimiter;
wenzelm
parents:
62682
diff
changeset
|
9 |
<PROPERTY NAME="noWordSep" VALUE="_'?⇩"/> |
53931
239f8f451976
support more brackets (see also 427724cff970, 7bf637b65ba2);
wenzelm
parents:
53133
diff
changeset
|
10 |
<PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" /> |
239f8f451976
support more brackets (see also 427724cff970, 7bf637b65ba2);
wenzelm
parents:
53133
diff
changeset
|
11 |
<PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" /> |
48366 | 12 |
<PROPERTY NAME="tabSize" VALUE="2" /> |
13 |
<PROPERTY NAME="indentSize" VALUE="2" /> |
|
14 |
</PROPS> |
|
15 |
</MODE> |