Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. merged
  2. more ssh options;
  3. support for proxy connection, similar to ProxyCommand in ssh config;
  4. prefer https;
  5. avoid hardwired parameters; less ambitious defaults: low memory requirements;
Changeset 67747:7b84ecd54d70 by wenzelm:
merged
Changeset 67746:cb0f0f5f8876 by wenzelm:
more ssh options;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 67745:d83efbe52438 by wenzelm:
support for proxy connection, similar to ProxyCommand in ssh config;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 67744:5c781dcd5864 by wenzelm:
prefer https;
The file was modified Admin/cronjob/plain_identify (diff)
The file was modified Admin/cronjob/self_update (diff)
The file was modified README_REPOSITORY (diff)
The file was modified src/Doc/Implementation/ML.thy (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Tools/VSCode/extension/README.md (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 67743:7bd0a250183b by wenzelm:
avoid hardwired parameters;<br>less ambitious defaults: low memory requirements;
The file was modified etc/options (diff)
The file was modified src/Pure/Admin/build_log.scala (diff)