NEWS

--- a/NEWS	Wed Feb 26 19:26:00 2020 +0100
+++ b/NEWS	Wed Feb 26 19:50:04 2020 +0100
@@ -4,8 +4,8 @@
 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
 
-New in this Isabelle version
-----------------------------
+New in Isabelle2020 (April 2020)
+--------------------------------
 
 *** General ***