clarified errors: avoid accidental import from other session that happens to be within overall selection (notably "isabelle build -a");
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEba5b37671528: clarified signature;
- Branches
- Unknown
- Tags