more robust Windows platform;

copy libgmp on Linux;

prefer raw Admin tool, without Isabelle settings environment;

clarified command-line;

no backup of generated stuff;

more precise environment (for Windows);

proper shell_path for msys inside cygwin;

support other bash executable (notably for msys on Windows);

proper options; simplified command-line; tuned;

build_polyml in Scala;

clarified File.move: target directory like File.copy;

more logging, to see better when files written;

proper cleanup;

uniform order for options and args;

more robust jedit_auto_resolve: avoid losing events deps_changed() / delay_load.invoke();

tuned comment;

proper option for "build", not "build_history" (cf. 5ca4ac099e94);

tuned;

simplified main proof;

misc tuning and modernization;

recovered Output.writeln for remote build_history (cf. ed8940d6295c), in order to have log files copied and removed;

more uniform path syntax, as in ML (see 5a7c919a4ada);

unused since 15865e0c5598;

added Nunchaku component and tuned Nunchaku integration accordingly

back to more elementary result (see 5f49765a25ec): avoid concurrent use of ssh channel;

Added tag Isabelle2016-1-RC2 for changeset 2bf4fdcebd49

more robust multithreading;

documentation of @{undefined} (actually introduced in Isabelle2016);

tuned;

Scala "\u" notation uses hexadecimal, not octal (amending 00a135c0a17f);

HOL-Probability: fix import path in Fin_Map

disable CVC4 statistics, and hence crashes upon user interruptions

back to stable scala-2.11.8;

self_update of components, e.g. for vmnipkow9;

updated to scala-2.12.0;

tuned

more accurate start_line: avoid changing the original command (e.g. 'try', 'sledgehammer');

extra newline as for other tools;

prefer standard_path for bash arg;

ignore interrupts from underlying process, e.g. due to out-of-memory situation in ML_Process (see also build.scala);

proper remote repository source;

clarified setup_repository: even more uniform pull vs. clone (see also e84cba30d7ff);

pull isabelle-release;

Merged natlog2 into Discrete.log

moved IMP/Abs_Int_ITP to AFP/Abs_Int_ITP2012

added lemma

added simp rule

generalized experimental feature slightly

provided more efficient interface

back to stable scala-2.11.8;

updated to scala-2.12.0;

tuned

tuned signature

back to post-release mode -- after fork point;

tuned;

updated to new cronjob;