Build #69 (Sep 12, 2021, 12:14:00 AM)

1. tuned; (detail)
2. NEWS; (detail)
3. miscellaneous examples and experiments for Isabelle/Pure; (detail)
4. tuned comments; (detail)
5. unused; (detail)
6. clarified order of extra TFrees: underlying fast_string_ord coincides with Name.invent (e.g. from type inference); (detail)
7. NEWS; (detail)
8. clarified signature: more scalable operations; (detail)
9. more scalable operations; (detail)
10. more scalable operations; (detail)
11. clarified order of extra type variables, following names more often than occurrences; (detail)
12. clarified signature;
    tuned; (detail)
13. tuned; (detail)
14. more scalable operations; (detail)
15. omit obsolete field "xs": originally from fd0f8fa2b6bd, but later unused; (detail)
16. clarified signature; (detail)
17. more robust: client could have terminated already; (detail)
18. clarified signature; (detail)
19. clarified signature; (detail)
20. clarified modules; (detail)
21. clarified set of items with order of addition; (detail)
22. tuned message; (detail)
23. tuned whitespace; (detail)
24. clarified signature;
    clarified modules; (detail)
25. tuned; (detail)
26. simplified: uniqueness check happens in export_consumer; (detail)
27. more markup, e.g. to locate defining theory node in formal document output; (detail)
28. tuned signature; (detail)
29. export other entities, e.g. relevant for formal document output;
    clarified markup kind (PIDE) vs. export kind (e.g. MMT); (detail)
30. pointer_eq_ord: minor performance tuning; (detail)
31. more robust: progress.stopped means that build has failed; (detail)
32. more reactive interrupt; (detail)
33. more reactive interrupt; (detail)
34. more robust: retain length of results; (detail)
35. more reactive interrupt; (detail)
36. tuned signature; (detail)
37. tuned signature; (detail)
38. tuned signature; (detail)
39. tuned; (detail)
40. merged (detail)
41. clarified modules; (detail)
42. more scalable operations; (detail)
43. more scalable operations; (detail)
44. tuned; (detail)
45. clarified modules; (detail)
46. clarified signature;
    minor performance tuning; (detail)
47. more scalable operations; (detail)
48. unused; (detail)
49. more efficient operations: traverse hyps only when required; (detail)
50. more robust signature: result has no particular order; (detail)
51. more scalable operations; (detail)
52. unused; (detail)
53. more scalable operations; (detail)
54. clarified; (detail)
55. tuned signature; (detail)
56. clarified signature; (detail)
57. more scalable operations; (detail)
58. clarified signature; (detail)
59. tuned signature; (detail)
60. more scalable operations; (detail)
61. more scalable operations; (detail)
62. more scalable operations;
    tuned; (detail)
63. more scalable operations; (detail)
64. white space (detail)
65. merged (detail)
66. some fixes connected with card_Diff_singleton (detail)
67. strengthened a few lemmas about finite sets and added a code equation for complex_of_real (detail)
68. tuned; (detail)
69. proper inst table; (detail)
70. more scalable data structure (but: rarely used many arguments); (detail)
71. minor performance tuning: fewer allocations;
    clarified theory context; (detail)

1. eliminated Specification.definition', following Isabelle/6876e3d5e362; (detail)
2. clarified signature: more scalable operations, according to Isabelle/c2ee8d993d6a; (detail)
3. clarified signature, according to Isabelle/612b7e0d6721; (detail)
4. tuned signature, according to Isabelle/839a6e284545; (detail)
5. merged (detail)
6. Backed out changeset ef19e4e58b8c
   restoring old argument order on synthesized formulas (detail)
7. avoid hardwired document; (detail)
8. merged (detail)
9. tuned signature, according to Isabelle/9d9e7ed01dbb; (detail)
10. clarified signature, according to Isabelle/9d9e7ed01dbb; (detail)
11. clarified signature, according to Isabelle/9d9e7ed01dbb; (detail)
12. clarified signature, according to Isabelle/9d9e7ed01dbb; (detail)
13. simplified, using Isabelle/ML operations; (detail)
14. adapted to Isabelle/36774e8af3db: cannot rely on order of instantiation for vars; (detail)
15. tuned whitespace; (detail)
16. more scalable operations; (detail)
17. merged (detail)
18. synthesized formulas have their variables permuted (detail)
19. merged (detail)
20. fixes for cardinality lemmas (detail)
21. proper inst table; (detail)

Started by timer

This run spent:

• 21 ms waiting;
• 16 hr build duration;
• 16 hr total from scheduled to completion.