Changes

Summary

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

Summary

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