#1865 (Jan 17, 2023, 2:13:54 AM)

1. tuned; (detail / hgweb)
2. tuned GUI; (detail / hgweb)
3. permissive treatment of citations before the theory header: avoid too many changes in AFP; (detail / hgweb)
4. more detailed Program_Progress / Log_Progress: each program gets its own log output, which is attached to the document via markup;
   more Document_Build.running_script, but display it as "Running XYZ"; (detail / hgweb)
5. clarified documentation: avoid odd speculations about PIDE; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 23 min waiting;
• 1 hr 51 min build duration;
• 3 hr 15 min total from scheduled to completion.