#315 (May 5, 2017, 12:50:09 AM)

1. Merged (detail / hgweb)
2. More material on totient function (detail / hgweb)
3. merged (detail / hgweb)
4. clarified universal view: include pull_date; (detail / hgweb)
5. clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots; (detail / hgweb)
6. clarified database layout: pull date progression follows Isabelle only, and AFP is derived from that; (detail / hgweb)
7. redundant; (detail / hgweb)
8. Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.jiRMht (detail / hgweb)
9. A few more new lemmas (detail / hgweb)
10. more permissive, e.g. for system operations as in 678e00851cfb; (detail / hgweb)
11. tuned; (detail / hgweb)
12. tuned; (detail / hgweb)
13. prefer standard getOrElse; (detail / hgweb)
14. tuned; (detail / hgweb)
15. tuned; (detail / hgweb)
16. more operations; (detail / hgweb)
17. merged (detail / hgweb)
18. clarified directory layout; (detail / hgweb)
19. eliminated unused afp_pull_date table;
    tuned; (detail / hgweb)
20. slightly more compact file; (detail / hgweb)
21. produce build_log_snapshot, based on small prefix into pull_date history; (detail / hgweb)
22. omit parentheses for the sake of SQLite; (detail / hgweb)
23. more snapshot content; (detail / hgweb)
24. more robust; (detail / hgweb)
25. more direct insert_permissive statement, which avoids somewhat fragile nested transactions; (detail / hgweb)
26. tuned signature; (detail / hgweb)
27. simplified: standard toString is SQL.ident; (detail / hgweb)
28. tuned; (detail / hgweb)
29. tuned signature; (detail / hgweb)
30. clarified signature; (detail / hgweb)
31. tuned signature; (detail / hgweb)
32. tuned signature; (detail / hgweb)
33. tuned signature; (detail / hgweb)
34. clarified modules; (detail / hgweb)
35. clarified pull_date tables;
    support for SQLite snapshot; (detail / hgweb)
36. views for full PostgreSQL database; (detail / hgweb)
37. eliminated redundant type SQL.View;
    eliminated unused DROP operations; (detail / hgweb)
38. tuned; (detail / hgweb)
39. tuned signature; (detail / hgweb)
40. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 1 hr 19 min build duration;
• 1 hr 19 min total from scheduled to completion.