merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE3e121f999120: clarified signature: more direct Isabelle_Process.EXIT;
rISABELLE9fdbd2f0b56e: Added tag Isabelle2020-RC4 for changeset 1f3d9a9dd42a - Branches
- Unknown
- Tags
Merged Changes
Merged Changes