Added tag Isabelle2021-1-RC2 for changeset b92b5a57521b
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEb92b5a57521b: back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin;
- Branches
- Unknown
- Tags
Added tag Isabelle2021-1-RC2 for changeset b92b5a57521b Tags None Subscribers None
Description
Details
|