HomeIsabelle/Phabricator
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.

Written by makarius on May 18 2020, 5:08 PM.
User
Projects
None
Subscribers
None

Event Timeline