equal
deleted
inserted
replaced
3 |
3 |
4 <!-- Isabelle session root mode --> |
4 <!-- Isabelle session root mode --> |
5 <MODE> |
5 <MODE> |
6 <PROPS> |
6 <PROPS> |
7 <PROPERTY NAME="noWordSep" VALUE="_'.?"/> |
7 <PROPERTY NAME="noWordSep" VALUE="_'.?"/> |
8 <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹" /> |
8 <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" /> |
9 <PROPERTY NAME="unalignedCloseBrackets" VALUE="›»)]}" /> |
9 <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" /> |
10 <PROPERTY NAME="tabSize" VALUE="2" /> |
10 <PROPERTY NAME="tabSize" VALUE="2" /> |
11 <PROPERTY NAME="indentSize" VALUE="2" /> |
11 <PROPERTY NAME="indentSize" VALUE="2" /> |
12 </PROPS> |
12 </PROPS> |
13 </MODE> |
13 </MODE> |