HomeIsabelle/Phabricator

clarified name prefixes: global config always uses "isabelle-phabricator";

Description

clarified name prefixes: global config always uses "isabelle-phabricator";

Details

Provenance
makariusAuthored on
Parents
rISABELLE4eeff87c5072: more phabricator setup;
Branches
Unknown
Tags
Unknown