Summary
- updated to jdk-8u112;
- basic SSH server configuration;
- proper isabelle tool in Scala;
- tuned;
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) |
The file was modified | Admin/Windows/Cygwin/README (diff) |
The file was added | src/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 removed | Admin/profiling_report |
The file was removed | Admin/profiling_reports |
The file was modified | src/Pure/Admin/build_doc.scala (diff) |