Changes

Summary

1. clarified and unified executable names;
2. tuned;
3. tuned;
4. merged
5. suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;
6. fix handling of lambdas in reconstruction of eq_congruent
7. more robust: avoid breakdown of Search dialog;
8. tuned;
9. always use Isabelle encoding, as in Isabelle/jEdit;
10. tuned signature;
11. clarified signature: more uniform ts vs. Scala;
12. discontinued isabelle_filesystem (superseded by isabelle_encoding), see also da1108a6d249; discontinued special treatment of workspace_dir as session directory;
13. actually decode/encode symbols;
14. merged
15. prefer yarn over npm;
16. more accurate .hgignore;
17. clarified startup of "isabelle vscode": vscodium component is required, with patches for Isabelle/VSCode;
18. tuned messages;
19. proper init_resources for macos;
20. clarified names;
21. clarified modules: vscode vs. extension; clarified signature;
22. inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs;
23. more operations;
24. tuned comments; tuned messages;
25. patch VSCode source tree to support isabelle_encoding.ts;
26. more robust, pass "yarn valid-layers-check";
27. clarified directories;
28. patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet;
29. fit into vscode source conventions;
30. A tiny further cleanup
31. Tidied some messy proofs
32. merged
33. more count_list lemmas
34. towards UTF-8-Isabelle symbol encoding;
35. updated to VSCode 1.65.0;
36. clarified char symbols: cover most European languages;
37. more elementary Symbol.Matcher without detour via Regex (see also Pure/General/symbol_explode.ML);
38. tuned comments; tuned imports;
39. more robust dependencies: avoid implicit update, escpecially of underlying vscode engine;
40. proper file headers;
41. added count_list lemmas
42. tuned message;
43. more compact result;
44. prepare patched version more thoroughly, with explicit patches;
45. tuned signature;

Summary

1. more count_list lemmas
2. more count_list
3. merged
4. moved some count_list lemmas
5. synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/-/tree/5f38d029bfcabac8ba3b4ceea747f07772d1390d
6. synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/-/tree/5f38d029bfcabac8ba3b4ceea747f07772d1390d
7. synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/-/tree/5f38d029bfcabac8ba3b4ceea747f07772d1390d
8. synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/-/tree/5f38d029bfcabac8ba3b4ceea747f07772d1390d
9. continue 98838b260ed4
10. continue ee01bce2ecca
11. cancel some part of 11d4567f1b99
12. cancel some part of 98838b260ed4
13. cancel some part of ada85c62541d
14. synchronize with https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C/-/tree/5f38d029bfcabac8ba3b4ceea747f07772d1390d