Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. activate jdk-11
  2. updated xstream.jar to 1.4.10 for Java 9/10/11 (see http://x-stream.github.io);
  3. updated to jdk-11: jre is only a symlink to jdk;
  4. support for jdk-11;
  5. updated to jdk-11;
  6. generalization due to Alexander Maletzky
Changeset 69132:9dabb405a3ba by wenzelm:
activate jdk-11
The file was modified Admin/Windows/launch4j/isabelle.xml (diff)
The file was modified Admin/components/main (diff)
Changeset 69131:78691a87937c by wenzelm:
updated xstream.jar to 1.4.10 for Java 9/10/11 (see http://x-stream.github.io);
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
Changeset 69130:80494b8323fa by wenzelm:
updated to jdk-11: jre is only a symlink to jdk;
The file was modified Admin/lib/Tools/makedist_bundle (diff)
Changeset 69129:40df88947850 by wenzelm:
support for jdk-11;
The file was modified Admin/components/components.sha1 (diff)
The file was modified etc/settings (diff)
Changeset 69128:016715f1c107 by wenzelm:
updated to jdk-11;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
Changeset 69127:4596b580d1dd by nipkow:
generalization due to Alexander Maletzky
The file was modified src/HOL/Groups_Big.thy (diff)