NEWS

--- a/NEWS	Wed Dec 16 13:22:38 2020 +0100
+++ b/NEWS	Wed Dec 16 13:47:33 2020 +0100
@@ -16,6 +16,9 @@
 
 *** Isabelle/jEdit Prover IDE ***
 
+* Action "isabelle.goto-entity" (shortcut CS+d) jumps to the definition
+of the formal entity at the caret position.
+
 * Auto nitpick is enabled by default: it is now reasonably fast due to
 Kodkod invocation within Isabelle/Scala.