#1879 (Feb 2, 2023, 2:54:12 AM)

1. less verbosity by default, notably for regular "isabelle build -o document"; (detail / hgweb)
2. clarified message: old-style log is usually empty; (detail / hgweb)
3. clarified messages, notably for session "Intro"; (detail / hgweb)
4. merged (detail / hgweb)
5. more general program start message;
   progress on "Creating directory"; (detail / hgweb)
6. clarified terminology of inlined "PROGRAM START" messages; (detail / hgweb)
7. isabelle update -u cite -l ""; (detail / hgweb)
8. less ambitious parallelism: avoid exhaustion of memory (40GB total); (detail / hgweb)
9. clarified GUI; (detail / hgweb)
10. clarified GUI: omit pointless search buttons, as real output is shown as markup; (detail / hgweb)
11. more uniform use of Symbol.output, even in situations where its Symbol.encode is usually redundant; (detail / hgweb)
12. merged (detail / hgweb)
13. More new material thanks to Manuel (detail / hgweb)
14. merged (detail / hgweb)
15. tuning (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 4 min waiting;
• 1 hr 52 min build duration;
• 3 hr 56 min total from scheduled to completion.