Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. misc tuning and modernization;
  3. updated to jdk-8u102;
Changeset 63559:113cee845044 by wenzelm:
merged
Changeset 63558:0aa33085c8b1 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Deriv.thy (diff)
The file was modified src/HOL/NthRoot.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 63557:e506baad44fa by wenzelm:
updated to jdk-8u102;
The file was modified Admin/components/main (diff)
The file was modified Admin/java/build (diff)