#218 (Dec 29, 2016, 12:50:08 AM)

1. tuned; (detail / hgweb)
2. publish extension on Visual Studio Marketplace; (detail / hgweb)
3. updated VSCode extension to "isabelle vscode_server"; (detail / hgweb)
4. merged (detail / hgweb)
5. DiagnosticSeverity according to implementation https://github.com/Microsoft/vscode-languageserver-node instead of documentation https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md; (detail / hgweb)
6. support for syslog messages;
   clarified shutdown; (detail / hgweb)
7. prefer stable state -- reduce repeated diagnostics; (detail / hgweb)
8. more uniform pending_input / pending_output;
   explicit Document_Model.uri;
   tuned; (detail / hgweb)
9. unused; (detail / hgweb)
10. precise full_range and thus proper try_restrict in Snapshot.cumulate; (detail / hgweb)
11. clarified protocol errors; (detail / hgweb)
12. clarified signature; (detail / hgweb)
13. unused; (detail / hgweb)
14. clarified options; (detail / hgweb)
15. clarified signature: maintan Text.Length within Line.Document; (detail / hgweb)
16. clarified modules; (detail / hgweb)
17. clarified signature: explicit Length to avoid implicit mistakes; (detail / hgweb)
18. tuned; (detail / hgweb)
19. more uniform treatment of input/output wrt. client;
    support for diagnistic messages;
    misc tuning; (detail / hgweb)
20. tuned; (detail / hgweb)
21. more uniform treatment of "bad" like other messages (with serial number); (detail / hgweb)
22. clarified modules; (detail / hgweb)
23. support for diagnostics; (detail / hgweb)
24. print constants in 'primrec', 'primcorec(ursive)', 'corec(ursive)', like in 'definition' and 'fun(ction)' (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 1 hr 4 min build duration;
• 1 hr 4 min total from scheduled to completion.