Mercurialisabelle / shortlog
summary | shortlog | changelog | graph | tags | branches | files | gz

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