diff -r 5bc783d81201 -r 8b5dd705dfef NEWS
--- 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 ***