NEWS;
authorwenzelm
Mon, 23 Dec 2019 22:30:03 +0100
changeset 71552 7a53175fb0f4
parent 71551 d72d4a9316c9
child 71553 ee9998bb417b
NEWS;
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