src/Tools/jEdit/src/modes/isabelle.xml

--- 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" />