2016-11-20 wenzelm 2016-11-20 misc tuning and updates;
2016-11-20 wenzelm 2016-11-20 more on JVM heap space;
2016-11-20 wenzelm 2016-11-20 tuned;
2016-11-20 wenzelm 2016-11-20 more on Isar proof language;
2016-11-20 wenzelm 2016-11-20 documentation for Isabelle/Scala tools; tuned;
2016-11-19 wenzelm 2016-11-19 more symbols;
2016-11-19 wenzelm 2016-11-19 avoid import of Complex_Main into Word library (amending 34b7e2da95f6), e.g. to avoid intrusion of const "ii" into theories without complex numbers;
2016-11-13 wenzelm 2016-11-13 more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;
2016-11-12 wenzelm 2016-11-12 optional component setup;
2016-11-12 wenzelm 2016-11-12 clarified msys root; proper copy_files;
2016-11-12 wenzelm 2016-11-12 clarified setup: avoid alternative C compiler tools, e.g. from Homebrew or MacPorts;
2016-11-12 wenzelm 2016-11-12 proper admin tool;
2016-11-12 wenzelm 2016-11-12 tuned output;
2016-11-12 wenzelm 2016-11-12 back to regular Isabelle tool (reverting abc34a149690);
2016-11-11 wenzelm 2016-11-11 tuned;
2016-11-11 wenzelm 2016-11-11 $HOME/.bashrc provides TZ for *all* processes, resulting in proper date for Build_Log.log_date in remote_build_history via ssh (see also fe8f8f88a1d7);
2016-11-11 wenzelm 2016-11-11 trim more thoroughly, e.g. trailing \0 seen on some system;
2016-11-11 wenzelm 2016-11-11 tuned;
2016-11-11 wenzelm 2016-11-11 build sha1 library;
2016-11-11 wenzelm 2016-11-11 proper CONFIG_SITE for msys;
2016-11-11 wenzelm 2016-11-11 clarified platform selection;
2016-11-11 wenzelm 2016-11-11 more robust Windows platform;
2016-11-11 wenzelm 2016-11-11 copy libgmp on Linux;
2016-11-11 wenzelm 2016-11-11 prefer raw Admin tool, without Isabelle settings environment;
2016-11-11 wenzelm 2016-11-11 clarified command-line;
2016-11-11 wenzelm 2016-11-11 no backup of generated stuff;
2016-11-11 wenzelm 2016-11-11 more precise environment (for Windows);
2016-11-10 wenzelm 2016-11-10 proper shell_path for msys inside cygwin;
2016-11-10 wenzelm 2016-11-10 support other bash executable (notably for msys on Windows);
2016-11-10 wenzelm 2016-11-10 proper options; simplified command-line; tuned;
2016-11-10 wenzelm 2016-11-10 build_polyml in Scala;
2016-11-10 wenzelm 2016-11-10 clarified File.move: target directory like File.copy;
2016-11-10 wenzelm 2016-11-10 more logging, to see better when files written;
2016-11-10 wenzelm 2016-11-10 proper cleanup;
2016-11-10 wenzelm 2016-11-10 uniform order for options and args;
2016-11-10 wenzelm 2016-11-10 more robust jedit_auto_resolve: avoid losing events deps_changed() / delay_load.invoke();
2016-11-10 wenzelm 2016-11-10 tuned comment;
2016-11-09 wenzelm 2016-11-09 proper option for "build", not "build_history" (cf. 5ca4ac099e94);
2016-11-07 wenzelm 2016-11-07 tuned;
2016-11-07 wenzelm 2016-11-07 simplified main proof;
2016-11-07 wenzelm 2016-11-07 misc tuning and modernization;
2016-11-07 wenzelm 2016-11-07 recovered Output.writeln for remote build_history (cf. ed8940d6295c), in order to have log files copied and removed;
2016-11-07 wenzelm 2016-11-07 more uniform path syntax, as in ML (see 5a7c919a4ada);
2016-11-07 wenzelm 2016-11-07 unused since 15865e0c5598;
2016-11-07 blanchet 2016-11-07 added Nunchaku component and tuned Nunchaku integration accordingly
2016-11-06 wenzelm 2016-11-06 back to more elementary result (see 5f49765a25ec): avoid concurrent use of ssh channel;
2016-11-06 wenzelm 2016-11-06 Added tag Isabelle2016-1-RC2 for changeset 2bf4fdcebd49
2016-11-05 wenzelm 2016-11-05 more robust multithreading;
2016-11-05 wenzelm 2016-11-05 documentation of @{undefined} (actually introduced in Isabelle2016);
2016-11-05 wenzelm 2016-11-05 tuned;
2016-11-05 wenzelm 2016-11-05 Scala "\u" notation uses hexadecimal, not octal (amending 00a135c0a17f);
2016-11-04 hoelzl 2016-11-04 HOL-Probability: fix import path in Fin_Map
2016-11-04 blanchet 2016-11-04 disable CVC4 statistics, and hence crashes upon user interruptions
2016-11-04 wenzelm 2016-11-04 back to stable scala-2.11.8;
2016-11-04 wenzelm 2016-11-04 self_update of components, e.g. for vmnipkow9;
2016-11-03 wenzelm 2016-11-03 updated to scala-2.12.0;
2016-11-03 nipkow 2016-11-03 tuned
2016-11-02 wenzelm 2016-11-02 more accurate start_line: avoid changing the original command (e.g. 'try', 'sledgehammer');
2016-11-01 wenzelm 2016-11-01 extra newline as for other tools;
2016-11-01 wenzelm 2016-11-01 prefer standard_path for bash arg;