Build #84 (Dec 26, 2021, 12:14:00 AM)

1. allow general command transactions with presentation; (detail)
2. more operations; (detail)
3. clarified signature; (detail)
4. tuned signature; (detail)
5. support Gradle as alternative to Maven (again); (detail)
6. tuned mirabelle command-line help message (detail)
7. updated Mirabelle documentation (detail)
8. proper documentation for induction_rules Sledgehammer option (detail)
9. NEWS (detail)
10. merged (detail)
11. used TH1 for Leo-III in sledgehammer (detail)
12. tuned run_sledgehammer and called it directly from Mirabelle (detail)
13. exported Sledgehammer.launch_prover and use it in Mirabelle (detail)
14. proper filtering inf induction rules in Mirabelle (detail)
15. added nearly_all_facts_of_context and uniformized its usage in Sledgehammer and Mirabelle (detail)
16. tuned ATP to use is_widely_irrelevant_const (detail)
17. added support for initialization messages to Mirabelle (detail)

1. adapted to new Sledgehammer.run_sledgehammer return type (detail)

Started by timer

This run spent:

• 0.32 sec waiting;
• 19 hr build duration;
• 19 hr total from scheduled to completion.