#283 (Mar 16, 2017, 12:50:08 AM)

1. always output proof state: there is only one output buffer in Isabelle/VSCode; (detail / hgweb)
2. updated package; (detail / hgweb)
3. merged (detail / hgweb)
4. unused; (detail / hgweb)
5. misc tuning and modernization; (detail / hgweb)
6. clarified message; (detail / hgweb)
7. keep PIDE.plugin for the sake of still open dockables etc. -- jEdit exits these *after* the stop operation; (detail / hgweb)
8. keep style extender for the sake of potentially remaining token markers; (detail / hgweb)
9. dynamic session_options for tuning parameters and initial prover options; (detail / hgweb)
10. strict initialization of plugin.session: no user errors to be expected before session.start; (detail / hgweb)
11. resources are part of early/strict initialization, but session_base is permissive to avoid crash of "isabelle jedit -l BAD";
    PIDE._plugin indicates intialization state of Plugin;
    tuned; (detail / hgweb)
12. clarified initialization;
    tuned; (detail / hgweb)
13. clarified initialization; (detail / hgweb)
14. clarified modules; (detail / hgweb)
15. clarified modules; (detail / hgweb)
16. more explicit strict vs. non-strict initialization; (detail / hgweb)
17. more explicit options;
    tuned signature; (detail / hgweb)
18. unused; (detail / hgweb)
19. clarified fall-back base, e.g. relevant for "isabelle jedit -l BAD"; (detail / hgweb)
20. tuned whitespace; (detail / hgweb)
21. map values statically; (detail / hgweb)
22. clarified modules; (detail / hgweb)
23. tuned signature; (detail / hgweb)
24. tuned signature; (detail / hgweb)
25. tuned; (detail / hgweb)
26. tuned signature; (detail / hgweb)
27. clarified singleton module; (detail / hgweb)
28. proper plugin access; (detail / hgweb)
29. clarified modules; (detail / hgweb)
30. proper plugin access; (detail / hgweb)
31. tuned; (detail / hgweb)
32. prefer local variables; (detail / hgweb)
33. clarified modules; (detail / hgweb)
34. avoid global variables with implicit initialization; (detail / hgweb)
35. more robust early initialization; (detail / hgweb)
36. show user error as on command-line, e.g. relevant for unexpected crashes; (detail / hgweb)
37. afford early initialization of JEdit_Options, but it may lead to messy exception trace for malformed etc/preferences (see also 6eeaaefcea56);
    tuned signature; (detail / hgweb)
38. tuned message; (detail / hgweb)
39. normalize changes strictly as specified in the protocol definition (assuming non-overlapping ranges, amending 0f555ce33970), e.g. relevant for automatic quotes/parentheses around selection; (detail / hgweb)
40. always update decorations eventually after document changes: VSCode might reset it, but PIDE might produce an unchanged result that is not published again; (detail / hgweb)
41. avoid race condition between current_state().stable_tip_version and model.rendering(); (detail / hgweb)
42. tuned; (detail / hgweb)
43. updated dependencies; (detail / hgweb)
44. explicitly ignore "initialized" message; (detail / hgweb)
45. clarified shutdown; (detail / hgweb)
46. tuned; (detail / hgweb)
47. tuned; (detail / hgweb)
48. support for permanent phase_changed watcher; (detail / hgweb)
49. tuned; (detail / hgweb)
50. more robust startup, despite remaining race condition of debugger.is_active vs. session.is_ready; (detail / hgweb)
51. more robust debugger initialization, e.g. required for GUI components before actual session startup; (detail / hgweb)
52. more abstract module Document; (detail / hgweb)
53. tuned; (detail / hgweb)
54. misc tuning and simplification; (detail / hgweb)
55. more explicit Session.xml_cache; (detail / hgweb)
56. tuned; (detail / hgweb)
57. tuned signature; (detail / hgweb)
58. tuned signature; (detail / hgweb)
59. clarified modules; (detail / hgweb)
60. proper local debugger state, depending on session;
    tuned signature; (detail / hgweb)
61. more robust startup/init: let Session.stop wait for protocol handler initialization; (detail / hgweb)
62. tuned; (detail / hgweb)
63. tuned signature; (detail / hgweb)
64. tuned signature; (detail / hgweb)
65. more robust Session.stop: idempotent, avoid conflict with startup; (detail / hgweb)
66. more strict Session.start: no restart from terminated session; (detail / hgweb)
67. clarified Session.Phase; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.7 sec waiting;
• 1 hr 10 min build duration;
• 1 hr 10 min total from scheduled to completion.