more robust: clarified error when merging Hoare_Logic + Hoare_Logic_Abort;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEa562a0f656e8: more robust components_base: avoid fragile directory links on Windows (or…
- Branches
- Unknown
- Tags