Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. updated to jdk-8u112;
  2. basic SSH server configuration;
  3. proper isabelle tool in Scala;
  4. tuned;
Changeset 64313:ae7c11573922 by wenzelm:
updated to jdk-8u112;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/java/build (diff)
Changeset 64312:1c7b77286ed0 by wenzelm:
basic SSH server configuration;
The file was modified Admin/Windows/Cygwin/README (diff)
Changeset 64311:3d5e7719e878 by wenzelm:
proper isabelle tool in Scala;
The file was addedsrc/Pure/Admin/profiling_report.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedAdmin/profiling_report
The file was removedAdmin/profiling_reports
Changeset 64310:3584841f2d2c by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_doc.scala (diff)