--- a/NEWS Fri Nov 01 16:57:33 2024 +0100
+++ b/NEWS Fri Nov 01 17:13:42 2024 +0100
@@ -126,6 +126,8 @@
the editor selection by adding the enclosing formal structure, based on
formal markup by the prover.
+* Update to jEdit 5.7.0, the latest release.
+
*** Isabelle/VSCode Prover IDE ***