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;