tuned signature;

tuned;

clarified treatment of non-text bytes;

remove invocation of build_history: results are reported via stdout;

clarified signature;

identify release;

prefer Isabelle standard Path;

clarified logs;

publish directly on webspace;

Jenkins: don't build in system mode

merged

cronjob: build release from repository snapshot;

more operations;

clarified file operations;

proper link;

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;