backed out changeset 6c2494750a4e: it hardly makes a difference for heap size, but crashes arm64_32-darwin for unknown reasons;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE61c92140a6d2: enforce rebuild of Isabelle/ML + Isabelle/Scala;
- Branches
- Unknown
- Tags
- Reverts
- rISABELLE6c2494750a4e: minor performance tuning (see also f906f7f83dae and b23c42b9f78a);