HomeIsabelle/Phabricator

clarified options of "isabelle hg_sync" vs. "isabelle sync";