# HG changeset patch
# User wenzelm
# Date 1730477622 -3600
# Node ID 07e1e978b093097f7dfed1bfe6eb797887ab2a8a
# Parent  bd6e8364a26640c3f8df884354a4abaf093e8c00
more NEWS;

diff -r bd6e8364a266 -r 07e1e978b093 NEWS
--- 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 ***