--- a/NEWS Sun May 17 17:18:32 2020 +0200
+++ b/NEWS Mon May 18 12:59:01 2020 +0200
@@ -27,6 +27,12 @@
"isabelle_scala_tools" and "isabelle_file_format": minor
INCOMPATIBILITY.
+* Isabelle/Phabricator setup has been updated to follow ongoing
+development: libphutil has been discontinued. Minor INCOMPATIBILITY:
+existing server installations should remove libphutil from
+/usr/local/bin/isabelle-phabricator-upgrade and each installation root
+directory (e.g. /var/www/phabricator-vcs/libphutil).
+
*** Pure ***