clarified hook for Mirabelle: provide all loaded theories at once (for each 'theories' section within the session ROOT);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE745e2cd1f5f5: refer to theory "segments" only, according to global Build.build_theories and…
- Branches
- Unknown
- Tags