Tidied several ugly proofs in some elderly examples

tuned message;

clarified errors;

tuned messages;

support Node.js as well, reusing the engine from Electron/VSCodium;

updated to vscode 1.65.2;

proper result check;

merged

clarified directory layout and settings: more robust on all platforms;

tuned;

support Electron application framework; clarified vscodium startup;

generated lemma map_ident_strong for BNFs

updated SMT certificates

used more descriptive assert names in SMT-Lib output

clarified and unified executable names;

tuned;

tuned;

merged

suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive file-names in VSCode;

fix handling of lambdas in reconstruction of eq_congruent

more robust: avoid breakdown of Search dialog;

tuned;

always use Isabelle encoding, as in Isabelle/jEdit;

tuned signature;

clarified signature: more uniform ts vs. Scala;

discontinued isabelle_filesystem (superseded by isabelle_encoding), see also da1108a6d249; discontinued special treatment of workspace_dir as session directory;

actually decode/encode symbols;

merged

prefer yarn over npm;

more accurate .hgignore;

clarified startup of "isabelle vscode": vscodium component is required, with patches for Isabelle/VSCode;

tuned messages;

proper init_resources for macos;

clarified names;

clarified modules: vscode vs. extension; clarified signature;

inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs;

more operations;

tuned comments; tuned messages;

patch VSCode source tree to support isabelle_encoding.ts;

more robust, pass "yarn valid-layers-check";

clarified directories;

patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet;

fit into vscode source conventions;

A tiny further cleanup

Tidied some messy proofs

merged

more count_list lemmas

towards UTF-8-Isabelle symbol encoding;

updated to VSCode 1.65.0;

clarified char symbols: cover most European languages;

more elementary Symbol.Matcher without detour via Regex (see also Pure/General/symbol_explode.ML);

tuned comments; tuned imports;

more robust dependencies: avoid implicit update, escpecially of underlying vscode engine;

proper file headers;

added count_list lemmas

tuned message;

more compact result;

prepare patched version more thoroughly, with explicit patches;

tuned signature;

recover platform-specific node binaries from original download, notably for node-pty for Terminal;

tuned message;

tuned;

tuned imports;

misc tuning and clarification;

more executable files; clarified modules;

tuned;

tuned output;

clarified signature;

tuned, based on suggestions by IntelliJ IDEA;

tuned;

clarified command-line options;

update official Isabelle release, notably for "Admin/init -R";

more robust;

build component for VSCodium (cross-compiled from sources for all platforms);

tuned signature: more robust operation;

clarified order;

proper antiquotations (amending ff784d5a5bfb);

clarified signature: file operations take standard_path as in Isabelle/ML/Scala;

provide symbols statically via ISABELLE_VSCODE_WORKSPACE, instead of LSP/PIDE protocol;

proper init of non-existing file;

proper function call;

clarified signature;

tuned;

tuned, based on suggestions by IntelliJ IDEA;

tuned;

clarified signature;

clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);

misc tuning, based on suggestions by IntelliJ IDEA;

clarified signature;

tuned signature;

clarified signature; clarified data structures;

tuned imports;

clarified signature;

clarified signature;

tuned signature;

misc tuning, based on suggestions by IntelliJ IDEA;