#1993 (Jul 27, 2023, 12:50:09 AM)

1. Added tag Isabelle2023-RC2 for changeset 53b59fa42696 (detail / hgweb)
2. prefer Output.writeln for theory "results", as opposed to Output.state for genuine proof states (see f8c412a45af8, c668735fb8b5, ecf80e37ed1a); (detail / hgweb)
3. revert adhoc change ab9cc7cda0ec: lacks reasoning (and discussion); (detail / hgweb)
4. output panel: don't discard already filtered messages (detail / hgweb)
5. merged (detail / hgweb)
6. tuned signature: more operations; (detail / hgweb)
7. avoid excessive accumulation of garbage, for profiling of huge sessions; (detail / hgweb)
8. clarified signature: systematic use of Properties.make_string; (detail / hgweb)
9. tuned; (detail / hgweb)
10. support for let in Alethe name bindings; (detail / hgweb)
11. merged (detail / hgweb)
12. A few more cosmetic changes to proofs (detail / hgweb)
13. merged (detail / hgweb)
14. tidying a few proofs a bit  more (detail / hgweb)
15. partly tidied some truly horrible proofs (detail / hgweb)

Started by an SCM change

This run spent:

• 7.7 sec waiting;
• 2 hr 2 min build duration;
• 2 hr 3 min total from scheduled to completion.