#557 (Feb 18, 2018, 12:50:08 AM)

1. more thorough jEdit.propertiesChanged(), which includes KeymapManager.reload() and jEdit.initKeyBindings(); (detail / hgweb)
2. avoid conflict with Isabelle/jEdit completion of '>', e.g. "-->", "==>"; (detail / hgweb)
3. trim context of persistent data; (detail / hgweb)
4. trim context of persistent data; (detail / hgweb)
5. trim context of persistent data; (detail / hgweb)
6. clarified apply_transaction: always continue without presentation context; (detail / hgweb)
7. more tight presentation context: avoid storing full Toplevel.state; (detail / hgweb)
8. tuned; (detail / hgweb)
9. more informative theories_trace; (detail / hgweb)
10. merged (detail / hgweb)
11. tuned signature (again); (detail / hgweb)
12. trim context of persistent data; (detail / hgweb)
13. trim context of persistent data; (detail / hgweb)
14. proper file name; (detail / hgweb)
15. trim context of persistent data;
    tuned signature; (detail / hgweb)
16. clarified data operations, with trim_context and transfer; (detail / hgweb)
17. tuned; (detail / hgweb)
18. trim context of persistent data;
    tuned; (detail / hgweb)
19. trim context of persistent data; (detail / hgweb)
20. removed unused material; (detail / hgweb)
21. trim context of persistent data; (detail / hgweb)
22. trim context of persistent data;
    no need to trim context for del operations; (detail / hgweb)
23. tuned; (detail / hgweb)
24. tuned whitespace; (detail / hgweb)
25. more operations; (detail / hgweb)
26. optional trace of created theory values; (detail / hgweb)
27. more operations; (detail / hgweb)
28. auxiliary operation for space profiling; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.