Build #63 (Aug 1, 2021, 12:14:00 AM)

1. clarified signature; (detail)
2. tuned signature; (detail)
3. clarified signature; (detail)
4. merged (detail)
5. prefer Isabelle.Bytes, based on ShortByteString; (detail)
6. tuned; (detail)
7. tuned signature; (detail)
8. tuned signature: more generic operations; (detail)
9. prefer UTF8 implementation from Data.Text.Encoding (foreign C);
   clarified signatures and modules; (detail)
10. documented Mirabelle_Sledgehammer's new keep semantics (detail)
11. changed Mirabelle_Sledgehammer keep option from path to boolean (detail)
12. added automatic uniform stride option to Mirabelle (detail)
13. fixed HOL-ex following a5bab59d580b (detail)
14. added support for TFX $let to Sledgehammer's TPTP output (detail)
15. merged (detail)
16. fixed TFX generation when universal quantifier is used as term (detail)
17. merged (detail)
18. various improvements of "isabelle scala_project"; (detail)
19. support for native symlinks on Windows; (detail)
20. tuned Mirabelle's theory selection (detail)
21. clarified signature; (detail)
22. clarified signature; (detail)
23. updated for Isabelle2021 release; (detail)
24. back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012 R2); (detail)
25. update to Haskell stack-2.7.3 and stackage lts-17.15; (detail)
26. clarified version: Apple now counts like 11, 12, ...; (detail)

1. cleaner presentation of analysis theorems in preliminaries (detail)
2. Update to new Epistemic_Logic.thy (detail)
3. Avoid typedefs (detail)
4. Clean: set AFP standard document options (detail)
5. Clean: re-add to chapter AFP (detail)
6. merge from afp-2021 (detail)
7. Finitely_Generated_Abelian_Groups website (detail)
8. new entry Finitely_Generated_Abelian_Groups (detail)
9. Added Finitely_Generated_Abelian_Groups to metadata (detail)

Started by timer

This run spent:

• 73 ms waiting;
• 23 hr build duration;
• 23 hr total from scheduled to completion.