HomeIsabelle/Phabricator

clarified conditions: no_build is ok for presentation if "all_current" holds;

Description

clarified conditions: no_build is ok for presentation if "all_current" holds;
tuned;

Details

Provenance
makariusAuthored on
Parents
rISABELLE5266830ee9ec: tuned;
Branches
Unknown
Tags
Unknown