--- a/NEWS Fri Apr 15 11:15:40 2016 +0200
+++ b/NEWS Fri Apr 15 16:50:23 2016 +0200
@@ -41,6 +41,8 @@
results are isolated from the actual Isabelle/Pure that runs the IDE
itself.
+* Highlighting of entity def/ref positions wrt. cursor.
+
*** Isar ***