HomePhabricator

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

Authored by makarius.

Description

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

Details

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