Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to jdk-8u181;
  2. de-applying
Changeset 68685:4b367da119ed by wenzelm:
updated to jdk-8u181;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 68684:9a42b84f8838 by paulson _lp15@cam.ac.uk_:
de-applying
The file was modified src/HOL/Algebra/AbelCoset.thy (diff)
The file was modified src/HOL/Algebra/Complete_Lattice.thy (diff)
The file was modified src/HOL/Algebra/Divisibility.thy (diff)