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