HomeIsabelle/Phabricator

support to synchronize Isabelle + AFP repositories;