#1811 (Nov 7, 2022, 12:56:01 AM)

1. proper user tool; (detail / hgweb)
2. tuned comments; (detail / hgweb)
3. support for EPTCS style with demo document; (detail / hgweb)
4. tuned message; (detail / hgweb)
5. clarified delay -- more reactive; (detail / hgweb)
6. provide Session.init_time as reference point for diagnostic messages; (detail / hgweb)
7. afford more reactive consolidation;
   typical timings for big theories in HOL-Analysis: Session.Consolidate_Execution < 5ms for negative test and < 50ms for positive test; (detail / hgweb)
8. minor performance tuning; (detail / hgweb)
9. tuned; (detail / hgweb)
10. afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE;
    typical timings for big theories in HOL-Analysis: Export.make_entry < 10ms, Document_Output.present_thy < 150ms; (detail / hgweb)
11. proper executable files for Windows; (detail / hgweb)
12. further attempts to confine dotnet to $ISABELLE_HOME_USER; (detail / hgweb)
13. tuned output; (detail / hgweb)
14. more command-line options; (detail / hgweb)
15. clarified component settings: always update existing version;
    remove old component version from $ISABELLE_HOME_USER/etc/components; (detail / hgweb)

Started by an SCM change

This run spent:

• 6 min 0 sec waiting;
• 1 hr 51 min build duration;
• 1 hr 57 min total from scheduled to completion.