# HG changeset patch
# User wenzelm
# Date 1523972098 -7200
# Node ID 271e2d84e7a3cedda6fb97997abc80f26ea17806
# Parent  752a4e6d760c67eb0189bdc2f4e8e8550e027a11
NEWS;

diff -r 752a4e6d760c -r 271e2d84e7a3 NEWS
--- a/NEWS	Tue Apr 17 14:48:55 2018 +0200
+++ b/NEWS	Tue Apr 17 15:34:58 2018 +0200
@@ -118,6 +118,8 @@
 symbols remain in literal \<symbol> form. This avoids accidental loss of
 Unicode content when saving the file.
 
+* Update to jedit-5.5.0, the latest release.
+
 
 *** Isabelle/VSCode Prover IDE ***