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.
accomodate Isabelle identifiers with subscripts;
authorwenzelm
Mon, 21 Mar 2016 20:38:39 +0100
changeset 62682 0c9b1857504b
parent 62681 45b8dd2d3827
child 62683 ddd1c864408b
accomodate Isabelle identifiers with subscripts;
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 
--- a/src/Tools/jEdit/src/modes/isabelle-ml.xml	Mon Mar 21 20:22:07 2016 +0100
+++ b/src/Tools/jEdit/src/modes/isabelle-ml.xml	Mon Mar 21 20:38:39 2016 +0100
@@ -6,7 +6,7 @@
   <PROPS>
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
-    <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
+    <PROPERTY NAME="noWordSep" VALUE="_'.?⇩"/>
     <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
     <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
     <PROPERTY NAME="tabSize" VALUE="2" />
--- a/src/Tools/jEdit/src/modes/isabelle-news.xml	Mon Mar 21 20:22:07 2016 +0100
+++ b/src/Tools/jEdit/src/modes/isabelle-news.xml	Mon Mar 21 20:38:39 2016 +0100
@@ -4,7 +4,7 @@
 <!-- Isabelle NEWS mode -->
 <MODE>
   <PROPS>
-    <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
+    <PROPERTY NAME="noWordSep" VALUE="_'.?⇩"/>
     <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
     <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
     <PROPERTY NAME="tabSize" VALUE="2" />
--- a/src/Tools/jEdit/src/modes/isabelle-options.xml	Mon Mar 21 20:22:07 2016 +0100
+++ b/src/Tools/jEdit/src/modes/isabelle-options.xml	Mon Mar 21 20:38:39 2016 +0100
@@ -6,7 +6,7 @@
   <PROPS>
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
-    <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
+    <PROPERTY NAME="noWordSep" VALUE="_'.?⇩"/>
     <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
     <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
     <PROPERTY NAME="tabSize" VALUE="2" />
--- a/src/Tools/jEdit/src/modes/isabelle-root.xml	Mon Mar 21 20:22:07 2016 +0100
+++ b/src/Tools/jEdit/src/modes/isabelle-root.xml	Mon Mar 21 20:38:39 2016 +0100
@@ -6,7 +6,7 @@
   <PROPS>
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
-    <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
+    <PROPERTY NAME="noWordSep" VALUE="_'.?⇩"/>
     <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
     <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
     <PROPERTY NAME="tabSize" VALUE="2" />
--- a/src/Tools/jEdit/src/modes/isabelle.xml	Mon Mar 21 20:22:07 2016 +0100
+++ b/src/Tools/jEdit/src/modes/isabelle.xml	Mon Mar 21 20:38:39 2016 +0100
@@ -6,7 +6,7 @@
   <PROPS>
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
-    <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
+    <PROPERTY NAME="noWordSep" VALUE="_'.?⇩"/>
     <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
     <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
     <PROPERTY NAME="tabSize" VALUE="2" />
isabelle