# HG changeset patch
# User wenzelm
# Date 1274478528 -7200
# Node ID e70f9230c608b362f2f4f6812d177ceedd47cd33
# Parent  d03b5745742119974b665fdb8d7410eda07bd6ac
more brackets -- unaligned to prevent odd auto-indentation;

diff -r d03b57457421 -r e70f9230c608 src/Tools/jEdit/dist-template/modes/isabelle.xml
--- a/src/Tools/jEdit/dist-template/modes/isabelle.xml	Fri May 21 23:21:40 2010 +0200
+++ b/src/Tools/jEdit/dist-template/modes/isabelle.xml	Fri May 21 23:48:48 2010 +0200
@@ -7,10 +7,8 @@
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
     <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
-    <PROPERTY NAME="indentOpenBrackets" VALUE="{"/>
-    <PROPERTY NAME="indentCloseBrackets" 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>