equal
deleted
inserted
replaced
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 |
112 |
113 * The command-line tools "isabelle phabricator_setup", "isabelle |
113 * The command-line tool "isabelle phabricator_setup" (and some more) |
114 phabricator" etc. simplify the management of the Phabricator |
114 supports the management of the Phabricator software-development platform |
115 software-development platform for Ubuntu LAMP servers. For documentation |
115 for Ubuntu 18.04 servers. For documentation, see chapter "Phabricator |
116 see chapter "Phabricator server administration" in the "system" manual. |
116 server administration" in the "system" manual. This helps to escape the |
|
117 gravity of centralized version control by Github or Bitbucket. |
117 |
118 |
118 * The command-line tool "isabelle imports" has been discontinued: strict |
119 * The command-line tool "isabelle imports" has been discontinued: strict |
119 checking of session directories enforces session-qualified theory names |
120 checking of session directories enforces session-qualified theory names |
120 in applications -- users are responsible to specify session ROOT entries |
121 in applications -- users are responsible to specify session ROOT entries |
121 properly. |
122 properly. |