clarified guard: avoid spurious auto builds;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE3991a35cd740: automatically build document when selected theories are finished;
- Branches
- Unknown
- Tags
clarified guard: avoid spurious auto builds; Tags None Subscribers None |