--- a/NEWS Thu Apr 14 22:55:53 2016 +0200
+++ b/NEWS Thu Apr 14 23:31:10 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 ***