HomeIsabelle/Phabricator

support for "cluster" table with "hosts" array, and params/options as for…

Description

support for "cluster" table with "hosts" array, and params/options as for "host" table;
support for "isabelle build -H cluster.name";

Details

Provenance
makariusAuthored on
Parents
rISABELLE30360ee939f4: clarified signature: more operations, allow recursive get;
Branches
Unknown
Tags
Unknown