src/Tools/jEdit/src/modes/isabelle.xml

more brackets (see f6b453449cc6);

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE MODE SYSTEM "xmode.dtd">

<!-- Isabelle theory mode -->
<MODE>
  <PROPS>
    <PROPERTY NAME="commentStart" VALUE="(*"/>
    <PROPERTY NAME="commentEnd" VALUE="*)"/>
    <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
    <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃⦉" />
    <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦊⦄⟧⦈⌋⌉⟩›»)]}" />
    <PROPERTY NAME="tabSize" VALUE="2" />
    <PROPERTY NAME="indentSize" VALUE="2" />
  </PROPS>
</MODE>