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;