#2140 (Mar 1, 2024, 2:29:41 AM)

1. provide cvc5-1.1.1 for testing --- still inactive; (detail / hgweb)
2. rebuild bash_process executables on current reference platforms, including native arm64-darwin;
   enforce rebuild of Isabelle/Scala + Isabelle/ML; (detail / hgweb)
3. tuned NEWS, see also c62003e05e46; (detail / hgweb)
4. update NEWS, following ea1913c953ef; (detail / hgweb)
5. tuned whitespace according to jEdit mode parameters ":wrap=hard:maxLineLen=72:"; (detail / hgweb)
6. more explicit NEWS (see 3648e9c88d0c); (detail / hgweb)
7. NEWS for a53287d9add3, 3e30ca77ccfe; (detail / hgweb)
8. add option for unify trace (now disabled by default as printing is excessive and rarely used); (detail / hgweb)
9. tuned unify trace option names; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 39 min waiting;
• 2 hr 3 min build duration;
• 3 hr 43 min total from scheduled to completion.