#215 (Dec 24, 2016, 12:50:07 AM)

1. merged (detail / hgweb)
2. proper file:// URL for external references; (detail / hgweb)
3. full range for Position.Item;
   more hyperlinks for VSCode; (detail / hgweb)
4. tuned; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned; (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned; (detail / hgweb)
9. suppress dummy id; (detail / hgweb)
10. omit unused markup; (detail / hgweb)
11. removed junk; (detail / hgweb)
12. proper clean_yxml; (detail / hgweb)
13. clarified modules; (detail / hgweb)
14. tuned; (detail / hgweb)
15. clarified message; (detail / hgweb)
16. clarified signature; (detail / hgweb)
17. tuned -- use zero-based Line.Position; (detail / hgweb)
18. VSCode already detects URLs from plain text; (detail / hgweb)
19. clarified signature; (detail / hgweb)
20. tuned signature; (detail / hgweb)
21. tuned signature -- more explicit types; (detail / hgweb)
22. basic support for hyperlinks / Goto Definition Request; (detail / hgweb)
23. clarified border cases; (detail / hgweb)
24. tuned messages; (detail / hgweb)
25. proper pattern match; (detail / hgweb)
26. more explicit error; (detail / hgweb)
27. more explicit error; (detail / hgweb)
28. display messages, according to regular Isabelle Output; (detail / hgweb)
29. tuned; (detail / hgweb)
30. clarified node_name: preserve original uri; (detail / hgweb)
31. clarified directories; (detail / hgweb)

Started by an SCM change

This run spent:

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