HomeIsabelle/Phabricator

clarified static Build_Process.Context vs. dynamic Build_Process.State;

Description

clarified static Build_Process.Context vs. dynamic Build_Process.State;
more dynamic Build_Process.Sessions, to accomodate multiple workers (and multiple builds);

Details

Provenance
makariusAuthored on
Parents
rISABELLEf3a6140fa3b1: tuned signature: more operations;
Branches
Unknown
Tags
Unknown