Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more robust etc/preferences: default value remains;
  3. formal bundling for Admin/build_release: avoid confusion about presence or absence in manual invocations;
  4. Beautifying CTT a tiny bit
  5. A couple of new theorems. Also additional coercions to the complex numbers
Changeset 76380:cb26f923230d by wenzelm:
merged
Changeset 76379:e0f3fda92990 by wenzelm:
more robust etc/preferences: default value remains;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 76378:c0566b6f6ca8 by wenzelm:
formal bundling for Admin/build_release: avoid confusion about presence or absence in manual invocations;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified Admin/components/bundled (diff)
Changeset 76377:2510e6f7b11c by paulson _lp15@cam.ac.uk_:
Beautifying CTT a tiny bit
The file was modified src/CTT/ex/Elimination.thy (diff)
The file was modified src/CTT/ex/Equality.thy (diff)
The file was modified src/CTT/ex/Synthesis.thy (diff)
The file was modified src/CTT/ex/Typechecking.thy (diff)
Changeset 76376:934d4aed8497 by paulson _lp15@cam.ac.uk_:
A couple of new theorems. Also additional coercions to the complex numbers
The file was modified src/HOL/Complex.thy (diff)
The file was modified src/HOL/List.thy (diff)