Summary
- merged
- test for Windows/Cygwin;
- extra trim_line for the sake of Windows;
- prevent sporadic disconnection;
- check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala;
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | src/Pure/General/ssh.scala (diff) |
The file was modified | etc/options (diff) |
The file was modified | src/Pure/General/ssh.scala (diff) |
The file was modified | src/Pure/Admin/check_sources.scala (diff) |