NEWS

--- a/NEWS	Wed Jun 10 15:55:41 2020 +0200
+++ b/NEWS	Wed Jun 10 19:59:12 2020 +0200
@@ -7,6 +7,12 @@
 New in this Isabelle version
 ----------------------------
 
+*** Isabelle/jEdit Prover IDE ***
+
+* Update to jedit-5.6pre1, the latest pre-release. This version works
+properly on macOS by default, without the special MacOSX plugin.
+
+
 *** Document preparation ***
 
 * Antiquotation @{bash_function} refers to GNU bash functions that are