Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. update to stack-2.15.5, stackage-lts-22.15;
  3. clarified names: discontinue odd convention from 3 decades ago;
  4. further performance tuning (after f906f7f83dae): interactive mode is closer to earlier approach with Lazy.value, which could be relevant with rather complex grammars under tight memory situations;
Changeset 80076:d67cacd09251 by wenzelm:
merged
Changeset 80075:09e9819beef6 by wenzelm:
update to stack-2.15.5, stackage-lts-22.15;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified etc/settings
The file was modified src/Pure/Admin/component_stack.scala
Changeset 80074:951c371c1cd9 by wenzelm:
clarified names: discontinue odd convention from 3 decades ago;
The file was modified src/Pure/Build/export_theory.ML
The file was modified src/Pure/Isar/proof_context.ML
The file was modified src/Pure/Syntax/local_syntax.ML
The file was modified src/Pure/Syntax/syntax_phases.ML
The file was modified src/Pure/sign.ML
The file was modified src/Pure/theory.ML
Changeset 80073:40f5ddeda2b4 by wenzelm:
further performance tuning (after f906f7f83dae): interactive mode is closer to earlier approach with Lazy.value, which could be relevant with rather complex grammars under tight memory situations;
The file was modified src/Pure/Concurrent/synchronized.ML
The file was modified src/Pure/Syntax/syntax.ML
The file was modified src/Pure/System/isabelle_process.ML
The file was modified src/Pure/theory.ML