Update of Isabelle/Phabricator setup
System
- 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.
- Projects
- None
- Subscribers
- None