| changeset 71343 | 7a53175fb0f4 |
| parent 71325 | 0131b7b44c32 |
| child 71378 | 820cf124dced |
--- 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