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