changeset 72163 | f5722290a4d0 |
parent 72162 | 5894859c5c84 |
child 72208 | 5c057abc1b78 |
--- a/NEWS Mon Aug 17 13:16:42 2020 +0200 +++ b/NEWS Mon Aug 17 16:26:58 2020 +0200 @@ -172,6 +172,9 @@ "isabelle_scala_tools" and "isabelle_file_format": minor INCOMPATIBILITY. +* Isabelle server allows user-defined commands via +isabelle_scala_service. + * Isabelle/Phabricator setup has been updated to follow ongoing development: libphutil has been discontinued. Minor INCOMPATIBILITY: existing server installations should remove libphutil from