Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more brackets -- unaligned to prevent odd auto-indentation;
authorwenzelm
Fri, 21 May 2010 23:48:48 +0200
changeset 37057 e70f9230c608
parent 37056 d03b57457421
child 37058 c47653f3ec14
child 37077 3b247fa77c68
more brackets -- unaligned to prevent odd auto-indentation;
src/Tools/jEdit/dist-template/modes/isabelle.xml file | annotate | diff | comparison | revisions 
--- 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>
isabelle