--- a/NEWS Fri Apr 04 22:12:21 2025 +0200
+++ b/NEWS Fri Apr 04 22:20:23 2025 +0200
@@ -30,6 +30,13 @@
This runs Isabelle/jEdit with sequential evaluation in ML, without
affecting stored preferences of option "threads".
+* Isabelle/jEdit provides builtin navigation support, with actions
+navigate-backwards (AS-LEFT) and navigate-forwards (AS-RIGHT). These
+actions are available via arrow icons in the Search Bar, which is now
+enabled by default. The old plugins Navigator and Code2HTML are now
+longer included. The old-fashioned toolbar, with its old Navigator
+icons, is now disabled by default.
+
*** HOL ***