--- a/src/Tools/jEdit/src/modes/isabelle-news.xml Wed Aug 21 21:41:44 2013 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle-news.xml Wed Aug 21 22:40:55 2013 +0200
@@ -1,12 +1,12 @@
-<?xml version="1.0"?>
+<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE MODE SYSTEM "xmode.dtd">
<!-- Isabelle NEWS mode -->
<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>