clarified word syntax for the sake of control symbols, e.g. \<^term>;
authorwenzelm
Sat Jul 28 19:55:14 2018 +0200 (11 months ago)
changeset 687032e31887d9664
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
src/Tools/jEdit/src/modes/isabelle-news.xml
src/Tools/jEdit/src/modes/isabelle-options.xml
src/Tools/jEdit/src/modes/isabelle-root.xml
src/Tools/jEdit/src/modes/isabelle.xml
     1.1 --- a/src/Tools/jEdit/src/modes/isabelle-ml.xml	Sat Jul 28 17:25:40 2018 +0200
     1.2 +++ b/src/Tools/jEdit/src/modes/isabelle-ml.xml	Sat Jul 28 19:55:14 2018 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4    <PROPS>
     1.5      <PROPERTY NAME="commentStart" VALUE="(*"/>
     1.6      <PROPERTY NAME="commentEnd" VALUE="*)"/>
     1.7 -    <PROPERTY NAME="noWordSep" VALUE="_'?⇩"/>
     1.8 +    <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
     1.9      <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
    1.10      <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
    1.11      <PROPERTY NAME="tabSize" VALUE="2" />
     2.1 --- a/src/Tools/jEdit/src/modes/isabelle-news.xml	Sat Jul 28 17:25:40 2018 +0200
     2.2 +++ b/src/Tools/jEdit/src/modes/isabelle-news.xml	Sat Jul 28 19:55:14 2018 +0200
     2.3 @@ -4,7 +4,7 @@
     2.4  <!-- Isabelle NEWS mode -->
     2.5  <MODE>
     2.6    <PROPS>
     2.7 -    <PROPERTY NAME="noWordSep" VALUE="_'?⇩"/>
     2.8 +    <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
     2.9      <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
    2.10      <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
    2.11      <PROPERTY NAME="tabSize" VALUE="2" />
     3.1 --- a/src/Tools/jEdit/src/modes/isabelle-options.xml	Sat Jul 28 17:25:40 2018 +0200
     3.2 +++ b/src/Tools/jEdit/src/modes/isabelle-options.xml	Sat Jul 28 19:55:14 2018 +0200
     3.3 @@ -6,7 +6,7 @@
     3.4    <PROPS>
     3.5      <PROPERTY NAME="commentStart" VALUE="(*"/>
     3.6      <PROPERTY NAME="commentEnd" VALUE="*)"/>
     3.7 -    <PROPERTY NAME="noWordSep" VALUE="_'?⇩"/>
     3.8 +    <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
     3.9      <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
    3.10      <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
    3.11      <PROPERTY NAME="tabSize" VALUE="2" />
     4.1 --- a/src/Tools/jEdit/src/modes/isabelle-root.xml	Sat Jul 28 17:25:40 2018 +0200
     4.2 +++ b/src/Tools/jEdit/src/modes/isabelle-root.xml	Sat Jul 28 19:55:14 2018 +0200
     4.3 @@ -6,7 +6,7 @@
     4.4    <PROPS>
     4.5      <PROPERTY NAME="commentStart" VALUE="(*"/>
     4.6      <PROPERTY NAME="commentEnd" VALUE="*)"/>
     4.7 -    <PROPERTY NAME="noWordSep" VALUE="_'?⇩"/>
     4.8 +    <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
     4.9      <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
    4.10      <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
    4.11      <PROPERTY NAME="tabSize" VALUE="2" />
     5.1 --- a/src/Tools/jEdit/src/modes/isabelle.xml	Sat Jul 28 17:25:40 2018 +0200
     5.2 +++ b/src/Tools/jEdit/src/modes/isabelle.xml	Sat Jul 28 19:55:14 2018 +0200
     5.3 @@ -6,7 +6,7 @@
     5.4    <PROPS>
     5.5      <PROPERTY NAME="commentStart" VALUE="(*"/>
     5.6      <PROPERTY NAME="commentEnd" VALUE="*)"/>
     5.7 -    <PROPERTY NAME="noWordSep" VALUE="_'?⇩"/>
     5.8 +    <PROPERTY NAME="noWordSep" VALUE="_'?⇩\^&lt;&gt;"/>
     5.9      <PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
    5.10      <PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
    5.11      <PROPERTY NAME="tabSize" VALUE="2" />