Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. updated to jdk-8u152, which is for x86_64 only;
Changeset 66907:603a00f21817 by wenzelm:
merged
Changeset 66906:03a96b8c7c06 by wenzelm:
updated to jdk-8u152, which is for x86_64 only;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/lib/Tools/makedist_bundle (diff)
The file was modified NEWS (diff)
The file was modified bin/isabelle (diff)
The file was modified bin/isabelle_java (diff)
The file was modified etc/settings (diff)
The file was modified lib/Tools/console (diff)
The file was modified lib/Tools/java (diff)
The file was modified lib/Tools/scala (diff)
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/Tools/build_docker.scala (diff)
The file was modified src/Tools/jEdit/etc/settings (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit_client (diff)