2016-10-16 wenzelm [Sun, 16 Oct 2016 18:13:04 +0200] rev 64259
tuned;
src/Pure/Admin/isabelle_cronjob.scala

2016-10-16 wenzelm [Sun, 16 Oct 2016 17:52:25 +0200] rev 64258
removed useless operation -- would require bash_process wrapper;
src/Pure/General/ssh.scala

2016-10-16 wenzelm [Sun, 16 Oct 2016 17:50:40 +0200] rev 64257
tuned signature;
src/Pure/Admin/isabelle_cronjob.scala src/Pure/Admin/remote_dmg.scala src/Pure/General/ssh.scala

2016-10-16 wenzelm [Sun, 16 Oct 2016 17:44:37 +0200] rev 64256
simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
src/Pure/Admin/build_history.scala src/Pure/Admin/remote_dmg.scala src/Pure/General/mercurial.scala src/Pure/General/ssh.scala

2016-10-16 wenzelm [Sun, 16 Oct 2016 17:10:24 +0200] rev 64255
more robust;
src/Pure/General/mercurial.scala

2016-10-16 wenzelm [Sun, 16 Oct 2016 16:58:09 +0200] rev 64254
sftp.mkdirs according to 2a5dbad75355;
src/Pure/General/ssh.scala

2016-10-16 wenzelm [Sun, 16 Oct 2016 16:57:48 +0200] rev 64253
more compression for big log files;
src/Pure/Admin/build_history.scala

2016-10-16 wenzelm [Sun, 16 Oct 2016 13:27:01 +0200] rev 64252
clarified setup_repository: more uniform pull vs. clone, without update;
src/Pure/Admin/isabelle_cronjob.scala src/Pure/General/mercurial.scala

2016-10-16 wenzelm [Sun, 16 Oct 2016 13:11:47 +0200] rev 64251
proper setup of fresh repository;
src/Pure/Admin/isabelle_cronjob.scala

2016-10-16 haftmann [Sun, 16 Oct 2016 13:47:37 +0200] rev 64250
clarified prover-specific rules
src/HOL/Divides.thy