Build #83 (Dec 19, 2021, 12:14:00 AM)

1. tuned comment (detail)
2. support for JSON:API; (detail)
3. support for Flarum server; (detail)
4. tuned whitespace; (detail)
5. tuned imports; (detail)
6. tuned comments; (detail)
7. clarified author names; (detail)
8. clarified author names; (detail)
9. merged (detail)
10. more accurate names;
    complete coverage of mail addresses; (detail)
11. more standard author_info; (detail)
12. clarified author info and cluster nodes; (detail)
13. more data integrity: name vs. address; (detail)
14. clarified signature: more operations; (detail)
15. clarified signature; (detail)
16. tuned; (detail)
17. more data integrity: name vs. address; (detail)
18. tuned comments; (detail)
19. merged (detail)
20. tuned ATP to use fold_index (detail)
21. tuned sledgehammer to use map_index (detail)
22. merged (detail)
23. more data integrity: name vs. address; (detail)
24. misc tuning and clarification; (detail)
25. clarified name; (detail)
26. more mailing list content; (detail)
27. more mailing list content; (detail)
28. updated links; (detail)
29. added Apache Commons Lang + Text: not particularly exciting, but provides useful things like org.apache.commons.text.StringEscapeUtils or org.apache.commons.text.diff; (detail)
30. tuned ATP to use map_index (detail)
31. removed obsolete RC tags; (detail)
32. proper path; (detail)
33. merged, resolving conflict in src/Doc/Implementation/Logic.thy; (detail)
34. Added tag Isabelle2021-1 for changeset c2a2be496f35 (detail)
35. tuned; (detail)
36. proper ML types (amending 1aa92bc4d356); (detail)
37. proper types for Scala.Fun instances (amending 1aa92bc4d356); (detail)
38. proper syntax category; (detail)

1. Strengthened a lemma (detail)
2. updated the definition of scheme (detail)
3. merge from afp-2021-1 (detail)
4. add change history (detail)
5. updated 2021-1 release dates -> web (detail)
6. merge from afp-2021-1 (detail)
7. ignore generated files (detail)
8. add 2021-1 release dates (detail)
9. set devel version again (detail)
10. Added tag Isabelle2021-1 for changeset 11f8b03a88ad (detail)
11. adjust usage version (detail)
12. set release version (detail)
13. update release dates (detail)
14. merge from afp-2021-1 (detail)
15. The version without integer indexes (detail)
16. The version without integer indexes (detail)
17. merge from afp-2021-1 (detail)
18. merge from afp-2021 (detail)
19. new entry Foundation_of_geometry (detail)
20. merge from afp-2021-1 (detail)
21. Modified all design locale parameters to be nats instead of ints. Fixed proofs as required. (detail)
22. adjust for Isabelle2021-1-RC5 (detail)
23. merge from afp-2021 (detail)
24. new entry Simplicial_complexes_and_boolean_functions (detail)
25. Modified all design locale parameters to be nats instead of ints. Fixed proofs as required. (detail)
26. merge from afp-2021-1 (detail)
27. adjust to Isabelle2021-1-RC5 (detail)
28. merge from afp-2021 (detail)
29. metadata and sitegen for Hahn_Jordan_Decomposition (detail)
30. added Mathematics/Measure theory (detail)
31. new entry: Hahn_Jordan_Decomposition (detail)
32. New entry: Van_Emde_Boas_Trees (detail)
33. New entry: Van_Emde_Boas_Trees (detail)
34. metadata and sitegen for SimplifiedOntologicalArgument (detail)
35. new entry: SimplifiedOntologicalArgument (detail)
36. Tuned: use a star in witness. (detail)
37. Rename H to S in maximal_exactly_one. (detail)
38. Get rid of the sat abbreviation. (detail)
39. Add missing spaces in semantics_tm. (detail)
40. No space in front of object-logic forall. (detail)
41. Non-conflicting name for boolean denotation. (detail)
42. Simpler Hintikka definition. (detail)
43. Add syntactic abbreviation for constants. (detail)
44. Add papers to metadata. (detail)
45. In the definition of regular pair, switched from strict to non-strict (detail)
46. A slightly stronger lemma allowing slightly simpler proofs (detail)

Started by timer

This run spent:

• 36 ms waiting;
• 20 hr build duration;
• 20 hr total from scheduled to completion.