#1505 (Jul 16, 2021, 2:31:15 AM)

1. merged (detail / hgweb)
2. NEWS; (detail / hgweb)
3. proper example; (detail / hgweb)
4. more tests; (detail / hgweb)
5. more robust: component might be absent; (detail / hgweb)
6. clarified global state: allow to deactivate main plugin; (detail / hgweb)
7. more robust (again): allow to deactivate main plugin; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. more complete dockables; (detail / hgweb)
10. more robust (see 4d91b6d5d49c); (detail / hgweb)
11. clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; (detail / hgweb)
12. more robust; (detail / hgweb)
13. tuned; (detail / hgweb)
14. avoid non-standard encoding; (detail / hgweb)
15. proper cross-platform build: jdk component is required for ISABELLE_SETUP_CLASSPATH in other_isabelle; (detail / hgweb)
16. more robust classpath: skip empty entries; (detail / hgweb)
17. more robust: avoid duplicate classpath entries; (detail / hgweb)
18. build.props for isabelle.jar, including isabelle.jedit;
    build minimal Isabelle/jEdit plugins on the spot;
    regular "jedit" component: discontinued special "jedit_build";
    Isabelle/Scala services via jars, instead of settings; (detail / hgweb)
19. more robust; (detail / hgweb)
20. more portable: avoid Windows CRLF in classpath output; (detail / hgweb)
21. proper lines (amending 59b6f0462086); (detail / hgweb)
22. more systematic treatment of encodings; (detail / hgweb)
23. tuned; (detail / hgweb)
24. extended the 'corec' format slightly (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 41 min waiting;
• 1 hr 29 min build duration;
• 3 hr 10 min total from scheduled to completion.