Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8;
  2. more [simp]
  3. avoid TCP_NODELAY (in contrast to 18c621069bf8): might cause problems with some versions of Ubuntu 18.04;
Changeset 69126:e1b4b14ded58 by wenzelm:
discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8;
The file was modified Admin/Linux/Isabelle.run (diff)
The file was modified Admin/MacOS/Info.plist-part2 (diff)
The file was modified Admin/Windows/launch4j/isabelle.xml (diff)
The file was modified bin/isabelle_java (diff)
The file was modified lib/Tools/java (diff)
The file was modified lib/Tools/scala (diff)
The file was modified lib/Tools/scalac (diff)
Changeset 69125:60b6c759134f by nipkow:
more [simp]
The file was modified src/HOL/List.thy (diff)
Changeset 69124:6ededdc829bb by wenzelm:
avoid TCP_NODELAY (in contrast to 18c621069bf8): might cause problems with some versions of Ubuntu 18.04;
The file was modified src/Pure/General/socket_io.ML (diff)
The file was modified src/Pure/System/system_channel.scala (diff)