--- a/NEWS Sat Feb 29 16:38:59 2020 +0100
+++ b/NEWS Sat Feb 29 17:16:17 2020 +0100
@@ -55,6 +55,10 @@
*** Isabelle/jEdit Prover IDE ***
+* Actions isabelle.tooltip (CS+b) and isabelle.message (CS+m) display
+tooltip message popups, corresponding to mouse hovering with/without the
+CONTROL/COMMAND key pressed.
+
* Prover IDE startup is now much faster, because theory dependencies are
no longer explored in advance. The overall session structure with its
declarations of 'directories' is sufficient to locate theory files. Thus