#1563 (Oct 3, 2021, 12:50:06 AM)

1. provide Isabelle/jEdit plugins as services, and thus allow user components do the same; (detail / hgweb)
2. merged (detail / hgweb)
3. updated for release; (detail / hgweb)
4. misc tuning for release; (detail / hgweb)
5. update dependency; (detail / hgweb)
6. trim whitespace; (detail / hgweb)
7. misc tuning for release; (detail / hgweb)
8. misc tuning for release; (detail / hgweb)
9. isabelle build_components -u; (detail / hgweb)
10. updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7; (detail / hgweb)
11. updated to current Cygwin, near 3.2.0;
    discontinued perl; (detail / hgweb)
12. updated to sumatra_pdf-3.3.3; (detail / hgweb)
13. updated default version; (detail / hgweb)
14. updated to xz-java-1.9; (detail / hgweb)
15. updated to sqlite-jdbc-3.36.0.3; (detail / hgweb)
16. updated to postgresql-42.2.24; (detail / hgweb)
17. updated to jfreechart-1.5.3; (detail / hgweb)
18. updated to flatlaf-1.6; (detail / hgweb)
19. clarified signature; (detail / hgweb)
20. clarified Term.dest_abs (again, refining 71dfb835025d): only Free names are relevant for abstract terms, without syntax; (detail / hgweb)
21. clarified sledgehammer_provers, following d8dc8fdc46fc; (detail / hgweb)
22. proper term operation Term.dest_abs; (detail / hgweb)
23. tuned, following Syntax_Trans.variant_abs; (detail / hgweb)
24. proper patterns for (- numeral t), amending 03ff4d1e6784; (detail / hgweb)
25. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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