2016-10-12 wenzelm 2016-10-12 explicit timezone for the sake of lxbroy10;
2016-10-11 wenzelm 2016-10-11 proper redirection;
2016-10-11 wenzelm 2016-10-11 tuned output;
2016-10-11 wenzelm 2016-10-11 tuned message -- more parsable;
2016-10-11 wenzelm 2016-10-11 tuned signature;
2016-10-11 wenzelm 2016-10-11 identify managed repository clones;
2016-10-11 wenzelm 2016-10-11 some timing and logging, similar to old isatest.log;
2016-10-11 wenzelm 2016-10-11 enforce short name, notably on Mac OS X;
2016-10-11 wenzelm 2016-10-11 tuned -- Date.Format.default used by toString;
2016-10-11 wenzelm 2016-10-11 clarified modules;
2016-10-11 wenzelm 2016-10-11 force fresh build;
2016-10-11 wenzelm 2016-10-11 basic setup for Isabelle cronjob;
2016-10-11 wenzelm 2016-10-11 tuned;
2016-10-11 wenzelm 2016-10-11 merged
2016-10-11 wenzelm 2016-10-11 build on macbroy2 for performance, but use macbroy30 for its more robust hdiutil;
2016-10-11 wenzelm 2016-10-11 makedist_bundle works on Linux as well: build dmg on remote Mac;
2016-10-11 wenzelm 2016-10-11 added isabelle remote_dmg tool;
2016-10-11 wenzelm 2016-10-11 proper type for Library.using; tuned signature;
2016-10-11 wenzelm 2016-10-11 support user@host syntax;
2016-10-11 wenzelm 2016-10-11 modernized date format;
2016-10-11 wenzelm 2016-10-11 tuned signature;
2016-10-11 wenzelm 2016-10-11 eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline;
2016-10-11 wenzelm 2016-10-11 support for remote tmp dirs;
2016-10-10 wenzelm 2016-10-10 close more thoroughly;
2016-10-10 wenzelm 2016-10-10 provide execute operation, similar to Isabelle_System.bash;
2016-10-10 wenzelm 2016-10-10 proper support for exec channel (see also bash.scala);
2016-10-10 wenzelm 2016-10-10 proper hierarchic names;
2016-10-10 wenzelm 2016-10-10 more Sftp operations;
2016-10-10 wenzelm 2016-10-10 more specific channels; more Sftp operations;
2016-10-10 wenzelm 2016-10-10 clarified treatment of options; more uniform channels;
2016-10-10 wenzelm 2016-10-10 support for remote command execution; tuned;
2016-10-10 wenzelm 2016-10-10 tuned;
2016-10-10 wenzelm 2016-10-10 more generous timeout default (see also jEdit/FTP);
2016-10-10 wenzelm 2016-10-10 connect session by default; tuned signature;
2016-10-10 wenzelm 2016-10-10 clarified (hardwired!) default (see also jEdit/FTP);
2016-10-10 wenzelm 2016-10-10 tuned comment;
2016-10-09 wenzelm 2016-10-09 support for SSH in Isabelle/Scala;
2016-10-10 paulson 2016-10-10 invariance of domain
2016-10-09 wenzelm 2016-10-09 enforce detailed build log;
2016-10-09 wenzelm 2016-10-09 record heap sizes;
2016-10-09 wenzelm 2016-10-09 inline session ML statistics into main build log; tuned;
2016-10-09 wenzelm 2016-10-09 modernized;
2016-10-08 wenzelm 2016-10-08 build_history log files with formal meta info;
2016-10-08 wenzelm 2016-10-08 prefer explicit timezone offset for printing;
2016-10-08 wenzelm 2016-10-08 tuned;
2016-10-08 haftmann 2016-10-08 tuned name of bit truncating operations
2016-10-08 haftmann 2016-10-08 dedicated syntax for types with a length
2016-10-08 wenzelm 2016-10-08 merged
2016-10-08 wenzelm 2016-10-08 prefer local timezone;
2016-10-08 wenzelm 2016-10-08 support for Isabelle/Jenkins log file format;
2016-10-08 wenzelm 2016-10-08 tuned;
2016-10-08 wenzelm 2016-10-08 clarified meta info;
2016-10-08 wenzelm 2016-10-08 tuned comment;
2016-10-08 wenzelm 2016-10-08 tuned signature;
2016-10-08 wenzelm 2016-10-08 tuned signature;
2016-10-08 wenzelm 2016-10-08 more permissive: accept all historic isatest and afp-test logs;
2016-10-08 wenzelm 2016-10-08 accept spurious empty logs;
2016-10-08 wenzelm 2016-10-08 prefer static Date_Format;
2016-10-08 wenzelm 2016-10-08 more formal directory content; clarified date format;
2016-10-08 wenzelm 2016-10-08 tuned error;