Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to jdk-8u172;
  2. merged
  3. updated to jfreechart-1.5.0, but retain bundled iText-2.1.5.jar from jfreechart-1.0.14 to avoid iText-5/7 license complexity;
  4. tuning of a proof
  5. merged
  6. some simpler, cleaner proofs
  7. prefer explicit 32/64 bit platform settings;
  8. misc tuning and clarification;
Changeset 68009:72e1d5da30c6 by wenzelm:
updated to jdk-8u172;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 68008:9dff12eab305 by wenzelm:
merged
Changeset 68007:9e8214deed3e by wenzelm:
updated to jfreechart-1.5.0, but retain bundled iText-2.1.5.jar from jfreechart-1.0.14 to avoid iText-5/7 license complexity;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 68006:a1a023f08c8f by paulson _lp15@cam.ac.uk_:
tuning of a proof
The file was modified src/HOL/Analysis/Homeomorphism.thy (diff)
Changeset 68005:bb3e72f94add by paulson:
merged
Changeset 68004:a8a20be7053a by paulson _lp15@cam.ac.uk_:
some simpler, cleaner proofs
The file was modified src/HOL/Algebra/Divisibility.thy (diff)
The file was modified src/HOL/Algebra/Order.thy (diff)
The file was modified src/HOL/Analysis/Fashoda_Theorem.thy (diff)
Changeset 68003:9b89d831dc80 by wenzelm:
prefer explicit 32/64 bit platform settings;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Environment.thy (diff)
Changeset 68002:13d5b2fc9b02 by wenzelm:
misc tuning and clarification;
The file was modified Admin/PLATFORMS (diff)