#31 (Oct 6, 2023, 9:33:16 AM)

1. merge from afp-2023; (detail / hgweb)
2. sitegen; (detail / hgweb)
3. change web path to /sessions/ instead of /theories/ for consistent naming scheme; (detail / hgweb)
4. sitegen; (detail / hgweb)
5. tuned: remove hugo warnings; (detail / hgweb)
6. tuned whitespace; (detail / hgweb)
7. tuned; (detail / hgweb)
8. sitegen; (detail / hgweb)
9. display only unique exact matches in topic listing; (detail / hgweb)
10. sitegen; (detail / hgweb)
11. remove automatic title capitalization; (detail / hgweb)
12. improve description of the submission process; (detail / hgweb)
13. improved path resolving in theory view; (detail / hgweb)
14. sitegen; (detail / hgweb)
15. generate theory listings for dependencies in distribution; (detail / hgweb)
16. sitegen; (detail / hgweb)
17. obtain theory html file urls from browser_info instead of hard-coded links; (detail / hgweb)
18. tuned; (detail / hgweb)
19. tuned whitespace; (detail / hgweb)
20. record proper entry dependencies instead of relying on coincidental session names; (detail / hgweb)
21. clarify chapter urls: remove from config as they are a separate concept; (detail / hgweb)
22. tuned; (detail / hgweb)
23. sitegen (detail / hgweb)
24. new entry ML_Unification (detail / hgweb)
25. Inserted another missing acknowledgement (detail / hgweb)
26. fix web; (detail / hgweb)
27. added missing files (detail / hgweb)
28. New entry Relational_Cardinality (detail / hgweb)
29. Acknowledging the Alexandria project in two entries (detail / hgweb)
30. Adaption to new HOL-CSP core; some stronger compactification theorems. (detail / hgweb)
31. Integrated many contributions by Benoit Ballenghuin.
    - shorter proofs in CSP
    - theory CSP_Induct
    - theory Renaming
    - updates on documentation (detail / hgweb)
32. merged (detail / hgweb)
33. more lit.refs (detail / hgweb)
34. Removal of material that had already been migrated to the repository (detail / hgweb)
35. added lit.ref. (detail / hgweb)
36. sitegen (detail / hgweb)
37. fix link; (detail / hgweb)
38. sitegen (detail / hgweb)
39. fix url/file encoding; (detail / hgweb)
40. typo (detail / hgweb)
41. typo (detail / hgweb)
42. tuned metadata (detail / hgweb)
43. tuned metadata (detail / hgweb)
44. tuned metadata (detail / hgweb)
45. merged (detail / hgweb)
46. Migration of lemmas to distribution (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 4 hr 27 min build duration;
• 4 hr 28 min total from scheduled to completion.