--- 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="_'?⇩\^<>"/>
<PROPERTY NAME="unalignedOpenBrackets" VALUE="{[(«‹⟨⌈⌊⦇⟦⦃" />
<PROPERTY NAME="unalignedCloseBrackets" VALUE="⦄⟧⦈⌋⌉⟩›»)]}" />
<PROPERTY NAME="tabSize" VALUE="2" />