--- a/src/Tools/jEdit/src/modes/isabelle-news.xml Thu Sep 26 13:51:08 2013 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle-news.xml Thu Sep 26 16:30:32 2013 +0200
@@ -5,8 +5,8 @@
<MODE>
<PROPS>
<PROPERTY NAME="noWordSep" VALUE="_'.?"/>
- <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹" />
- <PROPERTY NAME="unalignedCloseBrackets" VALUE="›»)]}" />
+ <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
+ <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
<PROPERTY NAME="tabSize" VALUE="2" />
<PROPERTY NAME="indentSize" VALUE="2" />
</PROPS>