equal
deleted
inserted
replaced
2 <!DOCTYPE MODE SYSTEM "xmode.dtd"> |
2 <!DOCTYPE MODE SYSTEM "xmode.dtd"> |
3 |
3 |
4 <!-- Isabelle NEWS mode --> |
4 <!-- Isabelle NEWS 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> |