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

--- a/src/Tools/jEdit/src/modes/isabelle-root.xml	Thu Apr 07 20:51:52 2016 +0200
+++ b/src/Tools/jEdit/src/modes/isabelle-root.xml	Thu Apr 07 20:54:20 2016 +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" />