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