minor performance tuning (see also f906f7f83dae and b23c42b9f78a);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf906f7f83dae: performance tuning: cached non-persistent Parser.gram reduces heap size by…
- Branches
- Unknown
- Tags
- Reverted By
- rISABELLEf5b67198b019: backed out changeset 6c2494750a4e: it hardly makes a difference for heap size…