tuned message -- more parsable;

tuned signature;

identify managed repository clones;

some timing and logging, similar to old isatest.log;

enforce short name, notably on Mac OS X;

tuned -- Date.Format.default used by toString;

clarified modules;

force fresh build;

basic setup for Isabelle cronjob;

tuned;

merged

build on macbroy2 for performance, but use macbroy30 for its more robust hdiutil;

makedist_bundle works on Linux as well: build dmg on remote Mac;

added isabelle remote_dmg tool;

proper type for Library.using; tuned signature;

support user@host syntax;

modernized date format;

tuned signature;

eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline;

support for remote tmp dirs;

close more thoroughly;

provide execute operation, similar to Isabelle_System.bash;

proper support for exec channel (see also bash.scala);

proper hierarchic names;

more Sftp operations;

more specific channels; more Sftp operations;

clarified treatment of options; more uniform channels;

support for remote command execution; tuned;

tuned;

more generous timeout default (see also jEdit/FTP);

connect session by default; tuned signature;

clarified (hardwired!) default (see also jEdit/FTP);

tuned comment;

support for SSH in Isabelle/Scala;

invariance of domain

enforce detailed build log;

record heap sizes;

inline session ML statistics into main build log; tuned;

modernized;

build_history log files with formal meta info;

prefer explicit timezone offset for printing;

tuned;

tuned name of bit truncating operations

dedicated syntax for types with a length

merged

prefer local timezone;

support for Isabelle/Jenkins log file format;

tuned;