explicit website directory;

proper path;

tuned messages;

clarified platform families vs. bundles;

more general operations;

website index for existing bundles;

tuned messages;

added option -p for platform families; actually accept option -r;

more formal Release_Info; more incremental treatment of additional builds (bundles, library); tuned;

replaced shell script by Isabelle/Scala;

tuned;

tuned whitespace;

clarified;

tuned;

tuned message;

more robust wrt. old versions that use clear-text properties (e.g. Timing in build_history_base);

tuned;

integrity test of build_history vs. build_history_base; misc tuning and clarification;

clarified log_subdir vs. log_filename; support for sequential and parallel task blocks (unnamed);

tuned;

tuned;

provide USER_HOME, such that symbolic Path.explode("~") can be used remotely;

tuned signature; copy_dir using *this* Isabelle_System: note that File.bash_path is already expanded, but no variables are used here;

clarified modules;

allow to exclude named tasks;

support for separate sub-system options, independent of main Isabelle options; tuned;

tuned;

tuned;

more cleanup;

separate ISABELLE_HOME_USER (with its etc/settings);

renamed lemma to a more consistent name

tuned

remove accidentally oops'ed (and wrong) lemma

transfer lifting rule for numeral

more standard naming convention

tuned;

special case for local contrib, e.g. lxbroy10;

merged

tuned signature;

tuned;

clarified task logging via log service;

more explicit management of tasks; separate logger thread with exclusive access to main.log;

tuned;

added clone_repository; tuned;

support remote repositories via ssh command execution; tuned;

tuned signature;

modernized;

separate type class for arbitrary quotient and remainder partitions

stripped dependency on pragmatic type class semiring_div

simplified: no internal state for Mercurial;

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;

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;

clarified meta info;

tuned comment;

tuned signature;

tuned signature;

more permissive: accept all historic isatest and afp-test logs;

accept spurious empty logs;

prefer static Date_Format;

more formal directory content; clarified date format;

tuned error;

tuned;

misc tuning and clarification;

clarifying NEWS file

more flexible date formats;

support for isatest format;

tuned;

merged

accept obscure timezone used in 2011;