HomeIsabelle/Phabricator

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

Authored by makarius.

Description

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

Details

Committed
makariusNov 5 2019, 9:27 PM
Parents
rISABELLE4eeff87c5072: more phabricator setup;
Branches
Unknown
Tags
Unknown