Changes

Summary

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

Summary

1. Fix typo in date
2. Lukas Steven's changes for his fold updates
3. moved more legacy to AFP
4. merge from afp-2021
5. suppress site-gen warning
6. merge from afp-2021
7. exclude etc/ in afp_check_roots
8. strip trailing whitespace; make full URL
9. update usage instrucions
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;
11. sitegen for Lifting_the_Exponent
12. new entry Lifting_the_Exponent