Changes

Summary

1. recover platform-specific node binaries from original download, notably for node-pty for Terminal;
2. tuned message;
3. tuned;
4. tuned imports;
5. misc tuning and clarification;
6. more executable files; clarified modules;
7. tuned;
8. tuned output;
9. clarified signature;
10. tuned, based on suggestions by IntelliJ IDEA;
11. tuned;
12. clarified command-line options;
13. update official Isabelle release, notably for "Admin/init -R";
14. more robust;
15. build component for VSCodium (cross-compiled from sources for all platforms);
16. tuned signature: more robust operation;
17. clarified order;
18. proper antiquotations (amending ff784d5a5bfb);
19. clarified signature: file operations take standard_path as in Isabelle/ML/Scala;
20. provide symbols statically via ISABELLE_VSCODE_WORKSPACE, instead of LSP/PIDE protocol;
21. proper init of non-existing file;
22. proper function call;
23. clarified signature;
24. tuned;
25. tuned, based on suggestions by IntelliJ IDEA;
26. tuned;
27. clarified signature;
28. clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);
29. misc tuning, based on suggestions by IntelliJ IDEA;
30. clarified signature;
31. tuned signature;
32. clarified signature; clarified data structures;
33. tuned imports;
34. clarified signature;
35. clarified signature;
36. tuned signature;
37. misc tuning, based on suggestions by IntelliJ IDEA;
38. clarified modules;
39. support for file-system operations;
40. tuned signature;
41. follow standard Isabelle license --- no longer published on market place;
42. tuned README;
43. disregard public marketplace;
44. tuned imports;
45. more robust;
46. merged
47. tuned message;
48. clarified module;
49. tuned comments;
50. added documentation for new VSCode modules;
51. proper monospace font for terminal;
52. merged
53. tuned;
54. support system path representations (as in Isabelle/Java/Scala);
55. auto-update;
56. more robust;
57. clarified modules;
58. clarified rendering;
59. prefer hardwired locale;
60. more aggressive activation;
61. Added some theorems (from Wetzel)
62. tuned;
63. tuned;
64. tuned message;
65. disable extension updates;
66. tuned message;
67. disable check for updates: support just one static version;
68. misc tuning based on comments by Heiko Eißfeldt;
69. misc tuning based on comments by Heiko Eißfeldt;

Summary

1. split locale in two
2. Stronger strong completeness result and variant that uses variables as Henkin witnesses.
3. Stronger strong completeness result and variant that uses variables as Henkin witnesses.
4. added some alternative proofs in Smith_Normal_Form entry
5. The last tranche of material to be moved to the complex analysis libraries
6. Removal of material that has since been added to ZFC_in_HOL.General_Cardinals