Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. test for Windows/Cygwin;
  3. extra trim_line for the sake of Windows;
  4. prevent sporadic disconnection;
  5. check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala;
Changeset 64328:2284011c341a by wenzelm:
merged
Changeset 64327:3e651d9ce601 by wenzelm:
test for Windows/Cygwin;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64326:ff3c383b9163 by wenzelm:
extra trim_line for the sake of Windows;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 64325:47e03cb99274 by wenzelm:
prevent sporadic disconnection;
The file was modified etc/options (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 64324:416f4d031afd by wenzelm:
check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala;
The file was modified src/Pure/Admin/check_sources.scala (diff)