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.
clarified word syntax for the sake of control symbols, e.g. \<^term>;
authorwenzelm
Sat, 28 Jul 2018 19:55:14 +0200
changeset 68703 2e31887d9664
parent 68702 8ef8905629ba
child 68704 71aa5a9128c2
clarified word syntax for the sake of control symbols, e.g. \<^term>;
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	Sat Jul 28 17:25:40 2018 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle-ml.xml	Sat Jul 28 19:55:14 2018 +0200
@@ -6,7 +6,7 @@
   <PROPS>
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
-    <PROPERTY NAME="noWordSep" VALUE="_'?⇩"/>
+    <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
     <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
     <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
     <PROPERTY NAME="tabSize" VALUE="2" />
--- a/src/Tools/jEdit/src/modes/isabelle-news.xml	Sat Jul 28 17:25:40 2018 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle-news.xml	Sat Jul 28 19:55:14 2018 +0200
@@ -4,7 +4,7 @@
 <!-- Isabelle NEWS mode -->
 <MODE>
   <PROPS>
-    <PROPERTY NAME="noWordSep" VALUE="_'?⇩"/>
+    <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
     <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
     <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
     <PROPERTY NAME="tabSize" VALUE="2" />
--- a/src/Tools/jEdit/src/modes/isabelle-options.xml	Sat Jul 28 17:25:40 2018 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle-options.xml	Sat Jul 28 19:55:14 2018 +0200
@@ -6,7 +6,7 @@
   <PROPS>
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
-    <PROPERTY NAME="noWordSep" VALUE="_'?⇩"/>
+    <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
     <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
     <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
     <PROPERTY NAME="tabSize" VALUE="2" />
--- a/src/Tools/jEdit/src/modes/isabelle-root.xml	Sat Jul 28 17:25:40 2018 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle-root.xml	Sat Jul 28 19:55:14 2018 +0200
@@ -6,7 +6,7 @@
   <PROPS>
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
-    <PROPERTY NAME="noWordSep" VALUE="_'?⇩"/>
+    <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
     <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
     <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
     <PROPERTY NAME="tabSize" VALUE="2" />
--- a/src/Tools/jEdit/src/modes/isabelle.xml	Sat Jul 28 17:25:40 2018 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle.xml	Sat Jul 28 19:55:14 2018 +0200
@@ -6,7 +6,7 @@
   <PROPS>
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
-    <PROPERTY NAME="noWordSep" VALUE="_'?⇩"/>
+    <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
     <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
     <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
     <PROPERTY NAME="tabSize" VALUE="2" />
isabelle