author | wenzelm |
Wed, 21 Aug 2013 22:40:55 +0200 | |
changeset 53133 | 427724cff970 |
parent 48713 | de26cf3191a3 |
child 53931 | 239f8f451976 |
permissions | -rw-r--r-- |
53133 | 1 |
<?xml version="1.0" encoding="UTF-8"?> |
34798 | 2 |
<!DOCTYPE MODE SYSTEM "xmode.dtd"> |
3 |
||
48575 | 4 |
<!-- Isabelle session root mode --> |
34798 | 5 |
<MODE> |
6 |
<PROPS> |
|
7 |
<PROPERTY NAME="noWordSep" VALUE="_'.?"/> |
|
53133 | 8 |
<PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹" /> |
9 |
<PROPERTY NAME="unalignedCloseBrackets" VALUE="›»)]}" /> |
|
34798 | 10 |
<PROPERTY NAME="tabSize" VALUE="2" /> |
11 |
<PROPERTY NAME="indentSize" VALUE="2" /> |
|
12 |
</PROPS> |
|
13 |
</MODE> |