author | wenzelm |
Mon, 21 Mar 2016 20:38:39 +0100 | |
changeset 62682 | 0c9b1857504b |
parent 53931 | 239f8f451976 |
child 62909 | 5024d0c48e02 |
permissions | -rw-r--r-- |
<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE MODE SYSTEM "xmode.dtd"> <!-- Isabelle NEWS mode --> <MODE> <PROPS> <PROPERTY NAME="noWordSep" VALUE="_'.?⇩"/> <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" /> <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" /> <PROPERTY NAME="tabSize" VALUE="2" /> <PROPERTY NAME="indentSize" VALUE="2" /> </PROPS> </MODE>