Added the exception handler
handle _ => exit 1. This will catch all errors and force an exit with error
code, causing Make to fail.
Description
Description
Details
Details
- Provenance
lcp Authored on - Parents
- rISABELLE5de21942d046: intro_tacsf now includes subsetI as an introduction rule. It is
- Branches
- Unknown
- Tags