#371 (Mar 16, 2017, 1:33:23 AM)

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

1. adapted to isabelle/f435640193b6 (detail)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. always output proof state: there is only one output buffer in Isabelle/VSCode; (detail)
2. updated package; (detail)
3. merged (detail)
4. unused; (detail)
5. misc tuning and modernization; (detail)
6. clarified message; (detail)
7. keep PIDE.plugin for the sake of still open dockables etc. -- jEdit exits these *after* the stop operation; (detail)
8. keep style extender for the sake of potentially remaining token markers; (detail)
9. dynamic session_options for tuning parameters and initial prover options; (detail)
10. strict initialization of plugin.session: no user errors to be expected before session.start; (detail)
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)
12. clarified initialization;
    tuned; (detail)
13. clarified initialization; (detail)
14. clarified modules; (detail)
15. clarified modules; (detail)
16. more explicit strict vs. non-strict initialization; (detail)
17. more explicit options;
    tuned signature; (detail)
18. unused; (detail)
19. clarified fall-back base, e.g. relevant for "isabelle jedit -l BAD"; (detail)
20. tuned whitespace; (detail)
21. map values statically; (detail)
22. clarified modules; (detail)
23. tuned signature; (detail)
24. tuned signature; (detail)
25. tuned; (detail)
26. tuned signature; (detail)
27. clarified singleton module; (detail)
28. proper plugin access; (detail)
29. clarified modules; (detail)
30. proper plugin access; (detail)
31. tuned; (detail)
32. prefer local variables; (detail)
33. clarified modules; (detail)
34. avoid global variables with implicit initialization; (detail)
35. more robust early initialization; (detail)
36. show user error as on command-line, e.g. relevant for unexpected crashes; (detail)
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)
38. tuned message; (detail)
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)
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)
41. avoid race condition between current_state().stable_tip_version and model.rendering(); (detail)
42. tuned; (detail)
43. updated dependencies; (detail)
44. explicitly ignore "initialized" message; (detail)
45. clarified shutdown; (detail)
46. tuned; (detail)
47. tuned; (detail)
48. support for permanent phase_changed watcher; (detail)
49. tuned; (detail)
50. more robust startup, despite remaining race condition of debugger.is_active vs. session.is_ready; (detail)
51. more robust debugger initialization, e.g. required for GUI components before actual session startup; (detail)
52. more abstract module Document; (detail)
53. tuned; (detail)
54. misc tuning and simplification; (detail)
55. more explicit Session.xml_cache; (detail)
56. tuned; (detail)
57. tuned signature; (detail)
58. tuned signature; (detail)
59. clarified modules; (detail)
60. proper local debugger state, depending on session;
    tuned signature; (detail)
61. more robust startup/init: let Session.stop wait for protocol handler initialization; (detail)
62. tuned; (detail)
63. tuned signature; (detail)
64. tuned signature; (detail)
65. more robust Session.stop: idempotent, avoid conflict with startup; (detail)
66. more strict Session.start: no restart from terminated session; (detail)
67. clarified Session.Phase; (detail)

Started by an SCM change

This run spent:

• 6.5 sec waiting;
• 14 hr build duration;
• 14 hr total from scheduled to completion.