2016-10-10 wenzelm 2016-10-10 clarified treatment of options; more uniform channels;
2016-10-10 wenzelm 2016-10-10 support for remote command execution; tuned;
2016-10-10 wenzelm 2016-10-10 tuned;
2016-10-10 wenzelm 2016-10-10 more generous timeout default (see also jEdit/FTP);
2016-10-10 wenzelm 2016-10-10 connect session by default; tuned signature;
2016-10-10 wenzelm 2016-10-10 clarified (hardwired!) default (see also jEdit/FTP);
2016-10-10 wenzelm 2016-10-10 tuned comment;
2016-10-09 wenzelm 2016-10-09 support for SSH in Isabelle/Scala;
2016-10-10 paulson 2016-10-10 invariance of domain
2016-10-09 wenzelm 2016-10-09 enforce detailed build log;
2016-10-09 wenzelm 2016-10-09 record heap sizes;
2016-10-09 wenzelm 2016-10-09 inline session ML statistics into main build log; tuned;
2016-10-09 wenzelm 2016-10-09 modernized;
2016-10-08 wenzelm 2016-10-08 build_history log files with formal meta info;
2016-10-08 wenzelm 2016-10-08 prefer explicit timezone offset for printing;
2016-10-08 wenzelm 2016-10-08 tuned;
2016-10-08 haftmann 2016-10-08 tuned name of bit truncating operations
2016-10-08 haftmann 2016-10-08 dedicated syntax for types with a length
2016-10-08 wenzelm 2016-10-08 merged
2016-10-08 wenzelm 2016-10-08 prefer local timezone;
2016-10-08 wenzelm 2016-10-08 support for Isabelle/Jenkins log file format;
2016-10-08 wenzelm 2016-10-08 tuned;
2016-10-08 wenzelm 2016-10-08 clarified meta info;
2016-10-08 wenzelm 2016-10-08 tuned comment;
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