NEWS
changeset 71552 7a53175fb0f4
parent 71534 0131b7b44c32
child 71587 820cf124dced
equal deleted inserted replaced
71551:d72d4a9316c9 71552:7a53175fb0f4
   107 
   107 
   108 * Antiquotation @{oracle_name} inlines a formally checked oracle name.
   108 * Antiquotation @{oracle_name} inlines a formally checked oracle name.
   109 
   109 
   110 
   110 
   111 *** System ***
   111 *** System ***
       
   112 
       
   113 * Old settings variables ISABELLE_PLATFORM and ISABELLE_WINDOWS_PLATFORM
       
   114 have been discontinued -- deprecated since Isabelle2018.
   112 
   115 
   113 * The command-line tool "isabelle phabricator_setup" facilitates
   116 * The command-line tool "isabelle phabricator_setup" facilitates
   114 self-hosting of the Phabricator software-development platform, with
   117 self-hosting of the Phabricator software-development platform, with
   115 support for Git, Mercurial, Subversion repositories. This helps to avoid
   118 support for Git, Mercurial, Subversion repositories. This helps to avoid
   116 monoculture and to escape the gravity of centralized version control by
   119 monoculture and to escape the gravity of centralized version control by