Build #56 (Jun 13, 2021, 12:14:59 AM)

1. added support for unbounded max calls to Mirabelle (detail)
2. added warnings when defining unamed or redefining Mirabelle action (detail)
3. tuned whitespace; (detail)
4. tuned Mirabelle (detail)
5. merged (detail)
6. refactored Mirabelle to produce output in real time (detail)
7. global interpretation into nested targets (detail)
8. more succint interfaces (detail)
9. merged (detail)
10. tuned messages; (detail)
11. NEWS; (detail)
12. proper profiling within command execution: messages require PIDE id; (detail)
13. more systematic treatment of profiling mode; (detail)
14. tuned message; (detail)
15. prefer less intrusive tracing message; (detail)
16. clarified documentation: tracing messages are not shown here; (detail)
17. add missing file; (detail)
18. more formal ML profiling messages; (detail)
19. clarified modules; (detail)
20. Lukas Steven's more general fold foctions for maps (detail)
21. More general fold function for maps (detail)
22. follow Phabricator update 2021 Week 23; (detail)
23. tuned; (detail)
24. more formal theory and session names;
    tuned whitespace; (detail)
25. proper NEWS after Isabelle2021; (detail)
26. updated descriptions; (detail)
27. allow system option short form NAME for NAME=true for type string, not just bool;
    support short system options "-o document" and "-o system_log"; (detail)
28. tuned; (detail)
29. more robust within session "HOL"; (detail)
30. merged (detail)
31. suppress theories from other sessions, unless explicitly specified via mirabelle_theories; (detail)
32. clarified hook for Mirabelle: provide all loaded theories at once (for each 'theories' section within the session ROOT); (detail)
33. refer to theory "segments" only, according to global Build.build_theories and Thy_Info.use_theories; (detail)
34. tuned; (detail)
35. more uniform schedule_theories, notably for "present" and "commit" phase after loading; (detail)
36. tuned; (detail)
37. moved more legacy to AFP (detail)

1. Fix typo in date (detail)
2. Lukas Steven's changes for his fold updates (detail)
3. moved more legacy to AFP (detail)
4. merge from afp-2021 (detail)
5. suppress site-gen warning (detail)
6. merge from afp-2021 (detail)
7. exclude etc/ in afp_check_roots (detail)
8. strip trailing whitespace; make full URL (detail)
9. update usage instrucions (detail)
10. more robust component setup for AFP/thys: support "isabelle components -u" and init $AFP_BASE on demand;
    no ROOTS in $AFP_BASE: proper support for "isabelle build -a" with $AFP_BASE component, but without $AFP component; (detail)
11. sitegen for Lifting_the_Exponent (detail)
12. new entry Lifting_the_Exponent (detail)

Started by timer

This run spent:

• 0.11 sec waiting;
• 14 hr build duration;
• 14 hr total from scheduled to completion.