isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip

eliminated unused afp_pull_date table;
2017-05-04, by wenzelm
slightly more compact file;
2017-05-04, by wenzelm
produce build_log_snapshot, based on small prefix into pull_date history;
2017-05-04, by wenzelm
omit parentheses for the sake of SQLite;
2017-05-03, by wenzelm
more snapshot content;
2017-05-03, by wenzelm
more robust;
2017-05-03, by wenzelm
more direct insert_permissive statement, which avoids somewhat fragile nested transactions;
2017-05-03, by wenzelm
tuned signature;
2017-05-03, by wenzelm
simplified: standard toString is SQL.ident;
2017-05-03, by wenzelm
tuned;
2017-05-03, by wenzelm
tuned signature;
2017-05-03, by wenzelm
clarified signature;
2017-05-03, by wenzelm
tuned signature;
2017-05-03, by wenzelm
tuned signature;
2017-05-03, by wenzelm
tuned signature;
2017-05-03, by wenzelm
clarified modules;
2017-05-03, by wenzelm
clarified pull_date tables;
2017-05-03, by wenzelm
views for full PostgreSQL database;
2017-05-02, by wenzelm
eliminated redundant type SQL.View;
2017-05-02, by wenzelm
tuned;
2017-05-02, by wenzelm
tuned signature;
2017-05-02, by wenzelm
tuned;
2017-05-02, by wenzelm
two new theorems
2017-05-03, by paulson
merged
2017-05-02, by wenzelm
detect old log files (early 2016);
2017-05-02, by wenzelm
explicit support for multiple regexes;
2017-05-02, by wenzelm
some derived data fields, to facilitate queries;
2017-05-02, by wenzelm
tuned signature;
2017-05-02, by wenzelm
Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.VldMQI
2017-05-02, by paulson
Simplification of some proofs. Also key lemmas using !! rather than ! in premises
2017-05-02, by paulson

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip

isabelle