explicit indication of Admin tools;

clarified files;

explicit timezone for the sake of lxbroy10;

proper redirection;

tuned output;

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;