equal
deleted
inserted
replaced
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 |