2016-10-08 wenzelm 2016-10-08 tuned signature;
2016-10-08 wenzelm 2016-10-08 tuned signature;
2016-10-08 wenzelm 2016-10-08 more permissive: accept all historic isatest and afp-test logs;
2016-10-08 wenzelm 2016-10-08 accept spurious empty logs;
2016-10-08 wenzelm 2016-10-08 prefer static Date_Format;
2016-10-08 wenzelm 2016-10-08 more formal directory content; clarified date format;
2016-10-08 wenzelm 2016-10-08 tuned error;
2016-10-08 wenzelm 2016-10-08 tuned;
2016-10-08 wenzelm 2016-10-08 misc tuning and clarification;
2016-10-08 fleury 2016-10-08 clarifying NEWS file
2016-10-07 wenzelm 2016-10-07 more flexible date formats;
2016-10-07 wenzelm 2016-10-07 support for isatest format;
2016-10-07 wenzelm 2016-10-07 tuned;
2016-10-07 wenzelm 2016-10-07 merged
2016-10-07 wenzelm 2016-10-07 accept obscure timezone used in 2011;
2016-10-07 wenzelm 2016-10-07 more liberal parsing for old AFP logs;
2016-10-07 wenzelm 2016-10-07 more operations;
2016-10-07 wenzelm 2016-10-07 more permissive timing data;
2016-10-07 wenzelm 2016-10-07 more permissive for old logs;
2016-10-07 wenzelm 2016-10-07 more uniform regexps;
2016-10-07 wenzelm 2016-10-07 clarified status: started sessions may bomb without explicit FAILED or CANCELLED (cf. in afp-test-devel-2016-01-03.log);
2016-10-07 wenzelm 2016-10-07 clarified parse_build_info: isabelle build output; clarified Session_Status; tuned signature;
2016-10-07 wenzelm 2016-10-07 more operations;
2016-10-07 wenzelm 2016-10-07 more operations;
2016-10-07 wenzelm 2016-10-07 clarified signature;
2016-10-07 wenzelm 2016-10-07 more uniform treatment of settings;
2016-10-07 wenzelm 2016-10-07 clarified modules; CI_Profile: show all settings;
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;