HomeIsabelle/Phabricator

more robust concurrency: use shared Browser_Info.Context with synchronized file…

Description

more robust concurrency: use shared Browser_Info.Context with synchronized file-system operations;
tuned signature;

Details

Provenance
makariusAuthored on
Parents
rISABELLE97e7bb231981: NEWS;
Branches
Unknown
Tags
Unknown