Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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;
  5. added documentation for meromorphicity etc. in HOL-Complex_Analysis
  6. merged
  7. merged
  8. added special syntax for FSet.Ball and FSet.Bex
  9. tuned proof
  10. tuned proofs of Equiv_Relations.equiv
  11. remove transitional (dummy) component list for Go
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 (diff)
The file was modified Admin/components/main (diff)
The file was modified etc/settings (diff)
The file was modified src/Pure/Admin/component_stack.scala (diff)
Changeset 80074:951c371c1cd9 by wenzelm:
clarified names: discontinue odd convention from 3 decades ago;
The file was modified src/Pure/Build/export_theory.ML (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
The file was modified src/Pure/Syntax/local_syntax.ML (diff)
The file was modified src/Pure/Syntax/syntax_phases.ML (diff)
The file was modified src/Pure/sign.ML (diff)
The file was modified src/Pure/theory.ML (diff)
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 (diff)
The file was modified src/Pure/Syntax/syntax.ML (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/theory.ML (diff)
Changeset 80072:33a9b1d6a651 by Manuel Eberl _manuel@pruvisto.org_:
added documentation for meromorphicity etc. in HOL-Complex_Analysis
The file was modified src/HOL/Complex_Analysis/Meromorphic.thy (diff)
Changeset 80071:876bb57e7376 by desharna:
merged
Changeset 80070:6de94d690f9f by desharna:
merged
Changeset 80069:67e77f1e6d7b by desharna:
added special syntax for FSet.Ball and FSet.Bex
The file was modified src/HOL/Library/FSet.thy (diff)
Changeset 80068:804a41d08b84 by desharna:
tuned proof
The file was modified src/HOL/Library/Multiset_Order.thy (diff)
Changeset 80067:c40bdfc84640 by desharna:
tuned proofs of Equiv_Relations.equiv
The file was modified src/HOL/Algebra/Coset.thy (diff)
The file was modified src/HOL/Algebra/Sylow.thy (diff)
The file was modified src/HOL/Cardinals/Wellorder_Constructions.thy (diff)
The file was modified src/HOL/Induct/QuoDataType.thy (diff)
The file was modified src/HOL/Induct/QuoNestedDataType.thy (diff)
The file was modified src/HOL/Library/Disjoint_Sets.thy (diff)
The file was modified src/HOL/ZF/Games.thy (diff)
Changeset 80066:d6a787ccf583 by Lars Hupel _lars@hupel.info_:
remove transitional (dummy) component list for Go
The file was removedAdmin/components/go