NEWS;

--- a/NEWS	Mon Dec 23 22:24:28 2019 +0100
+++ b/NEWS	Mon Dec 23 22:30:03 2019 +0100
@@ -110,6 +110,9 @@
 
 *** System ***
 
+* Old settings variables ISABELLE_PLATFORM and ISABELLE_WINDOWS_PLATFORM
+have been discontinued -- deprecated since Isabelle2018.
+
 * The command-line tool "isabelle phabricator_setup" facilitates
 self-hosting of the Phabricator software-development platform, with
 support for Git, Mercurial, Subversion repositories. This helps to avoid