# HG changeset patch
# User wenzelm
# Date 1577136603 -3600
# Node ID 7a53175fb0f48cd210993ffe5ac6138bb8708cdd
# Parent  d72d4a9316c9c4b4d83661ed246b282429237176
NEWS;

diff -r d72d4a9316c9 -r 7a53175fb0f4 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