tuned: prefer try-catch/finally over low-level 'handle';
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP7d01367fe6b2: clarified signature, following Isabelle/fde0b195cb7d;
- Branches
- Unknown
- Tags
tuned: prefer try-catch/finally over low-level 'handle'; Tags None Subscribers None
Description
Details
|