author | wenzelm |
Sun, 13 Dec 2020 16:35:37 +0100 | |
changeset 72900 | c9813630cca4 |
parent 68703 | 2e31887d9664 |
child 73659 | af82097b4adc |
permissions | -rw-r--r-- |
<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE MODE SYSTEM "xmode.dtd"> <!-- Isabelle options mode --> <MODE> <PROPS> <PROPERTY NAME="commentStart" VALUE="(*"/> <PROPERTY NAME="commentEnd" VALUE="*)"/> <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^<>"/> <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" /> <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" /> <PROPERTY NAME="tabSize" VALUE="2" /> <PROPERTY NAME="indentSize" VALUE="2" /> </PROPS> </MODE>