2017-05-07 wenzelm 2017-05-07 tuned output;
2017-05-07 wenzelm 2017-05-07 parallel gnuplot invocation;
2017-05-07 wenzelm 2017-05-07 more HTML output;
2017-05-07 wenzelm 2017-05-07 clarified explicit Build_Status.Data operations; more HTML output;
2017-05-07 wenzelm 2017-05-07 more operations; tuned;
2017-05-07 wenzelm 2017-05-07 more uniform threads value, notably for Pure session;
2017-05-07 wenzelm 2017-05-07 tuned;
2017-05-06 wenzelm 2017-05-06 added option verbose for SQL source;
2017-05-06 wenzelm 2017-05-06 merged
2017-05-06 wenzelm 2017-05-06 tuned signature;
2017-05-06 wenzelm 2017-05-06 tuned signature;
2017-05-06 wenzelm 2017-05-06 present build status; tuned;
2017-05-06 wenzelm 2017-05-06 tuned;
2017-05-06 wenzelm 2017-05-06 obsolete;
2017-05-06 wenzelm 2017-05-06 clarified name;
2017-05-06 wenzelm 2017-05-06 tuned messages;
2017-05-06 wenzelm 2017-05-06 tuned;
2017-05-06 wenzelm 2017-05-06 clarified signature;
2017-05-06 wenzelm 2017-05-06 unused;
2017-05-06 wenzelm 2017-05-06 tuned;
2017-05-06 wenzelm 2017-05-06 tuned messages;
2017-05-06 wenzelm 2017-05-06 performance statistics from build log database;
2017-05-05 wenzelm 2017-05-05 tuned;
2017-05-05 wenzelm 2017-05-05 legacy version for Jenkins website;
2017-05-05 wenzelm 2017-05-05 tuned;
2017-05-05 wenzelm 2017-05-05 detect database entries;
2017-05-05 wenzelm 2017-05-05 tuned;
2017-05-05 wenzelm 2017-05-05 clarified signature;
2017-05-05 wenzelm 2017-05-05 tuned signature;
2017-05-05 Manuel Eberl 2017-05-05 NEWS: totient 1 = 1 now
2017-05-04 eberlm 2017-05-04 Merged
2017-05-04 eberlm 2017-05-04 More material on totient function
2017-05-04 wenzelm 2017-05-04 merged
2017-05-04 wenzelm 2017-05-04 clarified universal view: include pull_date;
2017-05-04 wenzelm 2017-05-04 clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;
2017-05-04 wenzelm 2017-05-04 clarified database layout: pull date progression follows Isabelle only, and AFP is derived from that;
2017-05-04 wenzelm 2017-05-04 redundant;
2017-05-04 paulson 2017-05-04 Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.jiRMht
2017-05-04 paulson 2017-05-04 A few more new lemmas
2017-05-04 wenzelm 2017-05-04 more permissive, e.g. for system operations as in 678e00851cfb;
2017-05-04 wenzelm 2017-05-04 tuned;
2017-05-04 wenzelm 2017-05-04 tuned;
2017-05-04 wenzelm 2017-05-04 prefer standard getOrElse;
2017-05-04 wenzelm 2017-05-04 tuned;
2017-05-04 wenzelm 2017-05-04 tuned;
2017-05-04 wenzelm 2017-05-04 more operations;
2017-05-04 wenzelm 2017-05-04 merged
2017-05-04 wenzelm 2017-05-04 clarified directory layout;
2017-05-04 wenzelm 2017-05-04 eliminated unused afp_pull_date table; tuned;
2017-05-04 wenzelm 2017-05-04 slightly more compact file;
2017-05-04 wenzelm 2017-05-04 produce build_log_snapshot, based on small prefix into pull_date history;
2017-05-03 wenzelm 2017-05-03 omit parentheses for the sake of SQLite;
2017-05-03 wenzelm 2017-05-03 more snapshot content;
2017-05-03 wenzelm 2017-05-03 more robust;
2017-05-03 wenzelm 2017-05-03 more direct insert_permissive statement, which avoids somewhat fragile nested transactions;
2017-05-03 wenzelm 2017-05-03 tuned signature;
2017-05-03 wenzelm 2017-05-03 simplified: standard toString is SQL.ident;
2017-05-03 wenzelm 2017-05-03 tuned;
2017-05-03 wenzelm 2017-05-03 tuned signature;
2017-05-03 wenzelm 2017-05-03 clarified signature;