src/Tools/jEdit/dist-template/modes/isabelle.xml
changeset 37057 e70f9230c608
parent 34797 c535fdd61732
--- 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>