author | wenzelm |
Thu, 07 Apr 2016 20:54:20 +0200 | |
changeset 62909 | 5024d0c48e02 |
parent 56277 | c4f75e733812 |
child 73659 | af82097b4adc |
permissions | -rw-r--r-- |
<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE MODE SYSTEM "xmode.dtd"> <!-- Standard ML 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>