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 (see f6b453449cc6);
authorwenzelm
Mon, 10 May 2021 20:09:47 +0200
changeset 73659 af82097b4adc
parent 73658 f6b453449cc6
child 73660 ff716ecb0805
more brackets (see f6b453449cc6);
src/Tools/jEdit/src/modes/isabelle-ml.xml file | annotate | diff | comparison | revisions
src/Tools/jEdit/src/modes/isabelle-news.xml file | annotate | diff | comparison | revisions
src/Tools/jEdit/src/modes/isabelle-options.xml file | annotate | diff | comparison | revisions
src/Tools/jEdit/src/modes/isabelle-root.xml file | annotate | diff | comparison | revisions
src/Tools/jEdit/src/modes/isabelle.xml file | annotate | diff | comparison | revisions
src/Tools/jEdit/src/modes/sml.xml file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/modes/isabelle-ml.xml	Mon May 10 18:31:18 2021 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle-ml.xml	Mon May 10 20:09:47 2021 +0200
@@ -7,8 +7,8 @@
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
     <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
-    <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>
--- a/src/Tools/jEdit/src/modes/isabelle-news.xml	Mon May 10 18:31:18 2021 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle-news.xml	Mon May 10 20:09:47 2021 +0200
@@ -5,8 +5,8 @@
 <MODE>
   <PROPS>
     <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
-    <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>
--- a/src/Tools/jEdit/src/modes/isabelle-options.xml	Mon May 10 18:31:18 2021 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle-options.xml	Mon May 10 20:09:47 2021 +0200
@@ -7,8 +7,8 @@
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
     <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
-    <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>
--- a/src/Tools/jEdit/src/modes/isabelle-root.xml	Mon May 10 18:31:18 2021 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle-root.xml	Mon May 10 20:09:47 2021 +0200
@@ -7,8 +7,8 @@
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
     <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
-    <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>
--- a/src/Tools/jEdit/src/modes/isabelle.xml	Mon May 10 18:31:18 2021 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle.xml	Mon May 10 20:09:47 2021 +0200
@@ -7,8 +7,8 @@
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
     <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
-    <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>
--- a/src/Tools/jEdit/src/modes/sml.xml	Mon May 10 18:31:18 2021 +0200
+++ b/src/Tools/jEdit/src/modes/sml.xml	Mon May 10 20:09:47 2021 +0200
@@ -7,8 +7,8 @@
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
     <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>
isabelle