2016-10-07 wenzelm 2016-10-07 tuned;
2016-10-07 wenzelm 2016-10-07 more official legacy status;
2016-10-07 fleury 2016-10-07 more lemmas
2016-10-07 fleury 2016-10-07 tuning multisets
2016-10-07 fleury 2016-10-07 more lemmas
2016-10-07 eberlm 2016-10-07 Set_Permutations -> Multiset_Permutations in NEWS
2016-10-07 wenzelm 2016-10-07 moved to proper release (cf. 4a72b37ac4b8); tuned;
2016-10-07 wenzelm 2016-10-07 updated for release;
2016-10-07 wenzelm 2016-10-07 merged
2016-10-06 wenzelm 2016-10-06 Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7
2016-10-06 traytel 2016-10-06 merged
2016-10-06 traytel 2016-10-06 merged
2016-10-06 traytel 2016-10-06 less aggressive unfolding in tactic
2016-10-06 nipkow 2016-10-06 merged
2016-10-06 nipkow 2016-10-06 moved lemmas
2016-10-06 wenzelm 2016-10-06 merged
2016-10-06 wenzelm 2016-10-06 tuned signature;
2016-10-06 wenzelm 2016-10-06 misc tuning and clarification;
2016-10-05 wenzelm 2016-10-05 some support for header and data fields, notably from afp-test;
2016-10-05 wenzelm 2016-10-05 tuned signature;
2016-10-05 wenzelm 2016-10-05 more flexibile formatting; expose representation for free-form formatters;
2016-10-05 wenzelm 2016-10-05 proper calculation;
2016-10-05 wenzelm 2016-10-05 more operations; tuned;
2016-10-05 wenzelm 2016-10-05 more date and time operations from Java 8;
2016-10-05 wenzelm 2016-10-05 proper imports;
2016-10-05 wenzelm 2016-10-05 clarified modules;
2016-10-05 wenzelm 2016-10-05 more operations;
2016-10-05 wenzelm 2016-10-05 added multicore_base option;
2016-10-05 wenzelm 2016-10-05 allow multiple threads configurations;
2016-10-05 wenzelm 2016-10-05 tuned;
2016-10-05 wenzelm 2016-10-05 misc tuning and clarification;
2016-10-05 wenzelm 2016-10-05 clean output dir for fresh rebuild; clarified echo;
2016-10-05 wenzelm 2016-10-05 allow multiline script;
2016-10-05 wenzelm 2016-10-05 clarified sanity checks;
2016-10-04 wenzelm 2016-10-04 clarified modules;
2016-10-04 wenzelm 2016-10-04 historic workaround according to 22630327408b;
2016-10-04 wenzelm 2016-10-04 more thorought update of components;
2016-10-04 wenzelm 2016-10-04 check session name;
2016-10-04 wenzelm 2016-10-04 tuned signature;
2016-10-04 wenzelm 2016-10-04 tuned error;
2016-10-04 wenzelm 2016-10-04 earlier build_history_base: timing properties in log are introduced here;
2016-10-04 wenzelm 2016-10-04 incremental output; tuned;
2016-10-04 wenzelm 2016-10-04 clarified output;
2016-10-04 wenzelm 2016-10-04 clarified heap options;
2016-10-04 wenzelm 2016-10-04 proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
2016-10-04 wenzelm 2016-10-04 more ambitious default as in former isatest;
2016-10-04 wenzelm 2016-10-04 tuned signature;
2016-10-04 wenzelm 2016-10-04 tuned;
2016-10-04 wenzelm 2016-10-04 more sanity checks;
2016-10-04 wenzelm 2016-10-04 more options for generated settings;
2016-10-03 wenzelm 2016-10-03 more robust build_history_base;
2016-10-03 wenzelm 2016-10-03 more robust;
2016-10-03 wenzelm 2016-10-03 proper log output;
2016-10-03 wenzelm 2016-10-03 clarified command line; clarified result;
2016-10-03 wenzelm 2016-10-03 clarified command-line; init settings and components;
2016-10-03 wenzelm 2016-10-03 more operations;
2016-10-03 wenzelm 2016-10-03 more formal build_history_base;
2016-10-03 wenzelm 2016-10-03 clarified cold-start environment;
2016-10-03 wenzelm 2016-10-03 basic setup for Admin/build_history -- outside of Isabelle environment;
2016-10-03 wenzelm 2016-10-03 clarified: a variant of -i is the default, but its output is not as precise as it might seem;