23 months ago wenzelm 2017-05-06 unused;
23 months ago wenzelm 2017-05-06 tuned;
23 months ago wenzelm 2017-05-06 tuned messages;
23 months ago wenzelm 2017-05-06 performance statistics from build log database;
23 months ago wenzelm 2017-05-05 tuned;
23 months ago wenzelm 2017-05-05 legacy version for Jenkins website;
23 months ago wenzelm 2017-05-05 tuned;
23 months ago wenzelm 2017-05-05 detect database entries;
23 months ago wenzelm 2017-05-05 tuned;
23 months ago wenzelm 2017-05-05 clarified signature;
23 months ago wenzelm 2017-05-05 tuned signature;
23 months ago Manuel Eberl 2017-05-05 NEWS: totient 1 = 1 now
23 months ago eberlm 2017-05-04 Merged
23 months ago eberlm 2017-05-04 More material on totient function
23 months ago wenzelm 2017-05-04 merged
23 months ago wenzelm 2017-05-04 clarified universal view: include pull_date;
23 months ago wenzelm 2017-05-04 clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;
23 months ago wenzelm 2017-05-04 clarified database layout: pull date progression follows Isabelle only, and AFP is derived from that;
23 months ago wenzelm 2017-05-04 redundant;
23 months ago paulson 2017-05-04 Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.jiRMht
23 months ago paulson 2017-05-04 A few more new lemmas
23 months ago wenzelm 2017-05-04 more permissive, e.g. for system operations as in 678e00851cfb;
23 months ago wenzelm 2017-05-04 tuned;
23 months ago wenzelm 2017-05-04 tuned;
23 months ago wenzelm 2017-05-04 prefer standard getOrElse;
23 months ago wenzelm 2017-05-04 tuned;
23 months ago wenzelm 2017-05-04 tuned;
23 months ago wenzelm 2017-05-04 more operations;
23 months ago wenzelm 2017-05-04 merged
23 months ago wenzelm 2017-05-04 clarified directory layout;
23 months ago wenzelm 2017-05-04 eliminated unused afp_pull_date table; tuned;
23 months ago wenzelm 2017-05-04 slightly more compact file;
23 months ago wenzelm 2017-05-04 produce build_log_snapshot, based on small prefix into pull_date history;
23 months ago wenzelm 2017-05-03 omit parentheses for the sake of SQLite;
23 months ago wenzelm 2017-05-03 more snapshot content;
23 months ago wenzelm 2017-05-03 more robust;
23 months ago wenzelm 2017-05-03 more direct insert_permissive statement, which avoids somewhat fragile nested transactions;
24 months ago wenzelm 2017-05-03 tuned signature;
24 months ago wenzelm 2017-05-03 simplified: standard toString is SQL.ident;
24 months ago wenzelm 2017-05-03 tuned;
24 months ago wenzelm 2017-05-03 tuned signature;
24 months ago wenzelm 2017-05-03 clarified signature;
24 months ago wenzelm 2017-05-03 tuned signature;
24 months ago wenzelm 2017-05-03 tuned signature;
24 months ago wenzelm 2017-05-03 tuned signature;
24 months ago wenzelm 2017-05-03 clarified modules;
24 months ago wenzelm 2017-05-03 clarified pull_date tables; support for SQLite snapshot;
24 months ago wenzelm 2017-05-02 views for full PostgreSQL database;
24 months ago wenzelm 2017-05-02 eliminated redundant type SQL.View; eliminated unused DROP operations;
24 months ago wenzelm 2017-05-02 tuned;
24 months ago wenzelm 2017-05-02 tuned signature;
24 months ago wenzelm 2017-05-02 tuned;
24 months ago paulson 2017-05-03 two new theorems
24 months ago wenzelm 2017-05-02 merged
24 months ago wenzelm 2017-05-02 detect old log files (early 2016);
24 months ago wenzelm 2017-05-02 explicit support for multiple regexes;
24 months ago wenzelm 2017-05-02 some derived data fields, to facilitate queries;
24 months ago wenzelm 2017-05-02 tuned signature;
24 months ago paulson 2017-05-02 Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.VldMQI
24 months ago paulson 2017-05-02 Simplification of some proofs. Also key lemmas using !! rather than ! in premises