Build #55 (Jun 6, 2021, 12:14:00 AM)

1. clarified modules; (detail)
2. clarified check (refining fc828f64da5b): etc/settings or etc/components is not strictly required according to "init_component", and notable components only have session ROOTS (e.g. AFP/thys); (detail)
3. tuned; (detail)
4. more thorough update of required files (amending 1529c3eb6bac); (detail)
5. clarified examples; (detail)
6. tuned proofs; (detail)
7. misc tuning --- following hints by Jørgen Villadsen (see also 1ce1bc9ff64a); (detail)
8. tuned --- reduced source complexity; (detail)
9. proper usage (amending f7ea394490f5); (detail)
10. merged, resolving minor conflict; (detail)
11. allow build session setup, e.g. for protocol handlers; (detail)
12. unused; (detail)
13. tuned --- potentially more robust (e.g. session.phase_changed vs. isabelle_process.terminated); (detail)
14. clarified signature; (detail)
15. removed pointless option (see 3d0952893db8); (detail)
16. tuned --- avoid redundant future tasks from already loaded theories; (detail)
17. no comment --- topological order appears to be fine since 04-Mar-2013; (detail)
18. more predictable sequential presentation (2f9877db82a1), without somewhat pointless result_ord (e7fab0b5dbe7); (detail)
19. moved stride option from sledgehammer action to main mirabelle (detail)
20. merged (detail)
21. new lemmas mostly about paths (detail)
22. lexorders the locale way (detail)
23. more accurate export morphism enables proper instantiation by interpretation (detail)

1. more specific export_files: omit recent additions ("document", "PIDE", etc.); (detail)
2. grouped lemmas (detail)
3. bundles for traditional infix syntax (detail)

Started by timer

This run spent:

• 24 ms waiting;
• 1 day 6 hr build duration;
• 1 day 6 hr total from scheduled to completion.

Timeout has been exceeded