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