src/Tools/jEdit/src/modes/sml.xml
author wenzelm
Thu, 07 Apr 2016 20:54:20 +0200
changeset 62909 5024d0c48e02
parent 56277 c4f75e733812
child 73659 af82097b4adc
permissions -rw-r--r--
clarified word syntax: "." is separator or delimiter;

<?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>