Summary
- merged
- tuned signature;
- support for "cluster" table with "hosts" array, and params/options as for "host" table; support for "isabelle build -H cluster.name";
- clarified signature: more operations, allow recursive get;
- tuned signature;
- tuned signature: more operations;
- clarified signature;
- tuned output;
- more robust: prefer strict operations;
- tuned message;
- tuned signature: more operations;
- more specific name for type class