Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. support for XZ.Cache;
  3. three new theorems
  4. merged
  5. updated to postgresql-42.2.2, with more smooth support for Java 9/10;
  6. minimal Java source version for jdk-10.0.1;
  7. workaround for jdk-10.0.1;
  8. more robust, notably for jdk-10.0.1 where jre is absent;
  9. moved lemma to more appropriate place
  10. algebraic embeddings for bit operations
Changeset 68019:32d19862781b by wenzelm:
merged
Changeset 68018:3747fe57eb67 by wenzelm:
support for XZ.Cache;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/General/properties.scala (diff)
The file was modified src/Pure/General/xz.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 68017:e99f9b3962bf by paulson _lp15@cam.ac.uk_:
three new theorems
The file was modified src/HOL/Analysis/Brouwer_Fixpoint.thy (diff)
The file was modified src/HOL/Analysis/Change_Of_Vars.thy (diff)
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Vitali_Covering_Theorem.thy (diff)
Changeset 68016:5eb4081e6bf6 by wenzelm:
merged
Changeset 68015:a39473b19ee1 by wenzelm:
updated to postgresql-42.2.2, with more smooth support for Java 9/10;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 68014:9096895dc2a6 by wenzelm:
minimal Java source version for jdk-10.0.1;
The file was modified lib/browser/build (diff)
Changeset 68013:7a30a3cc2763 by wenzelm:
workaround for jdk-10.0.1;
The file was modified src/Pure/Admin/ci_profile.scala (diff)
Changeset 68012:6d38b4fd872e by wenzelm:
more robust, notably for jdk-10.0.1 where jre is absent;
The file was modified lib/scripts/getsettings (diff)
Changeset 68011:fb6469cdf094 by haftmann:
moved lemma to more appropriate place
The file was modified src/HOL/Library/Cardinality.thy (diff)
The file was modified src/HOL/Option.thy (diff)
Changeset 68010:3f223b9a0066 by haftmann:
algebraic embeddings for bit operations
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Parity.thy (diff)