# HG changeset patch
# User wenzelm
# Date 1743798023 -7200
# Node ID 8b5dd705dfef4981380edfde154a79f0916b7e4e
# Parent  5bc783d812019ca9031ac77f54308f65807d8f55
NEWS;

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 ***