Update of Isabelle/Phabricator setup
- 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).
This refers to Isabelle/b8d7b623e274.
Written by makarius on May 18 2020, 5:08 PM.