clarified user errors vs. failures, e.g. java.lang.StackOverflowError;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE5578341489cb: further clarification of Exn.is_interrupt_proper vs. overall Exn.is_interrupt;
- Branches
- Unknown
- Tags