--- a/NEWS Thu Feb 13 14:16:11 2025 +0100
+++ b/NEWS Thu Feb 13 14:26:50 2025 +0100
@@ -158,6 +158,10 @@
*** Isabelle/jEdit Prover IDE ***
+* Action isabelle.browser_info or menu "Plugins / Isabelle / Browse HTML
+Library" opens a web browser on the HTML library that is distributed
+with Isabelle (if available, see $ISABELLE_HOME/lib/browser_info.db).
+
* Action isabelle.select_structure (with keyboard shortcut C+7) extends
the editor selection by adding the enclosing formal structure, based on
formal markup by the prover. Repeated invocation of this action extends