Changes

Summary

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