revert 1105c42722dc on isabelle-release branch;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEca450d902198: updated to scala-2.13: its ArraySeq implementation is not usable here (requires…
- Branches
- Unknown
- Tags
- Reverts
- rISABELLE1105c42722dc: back to post-release mode;