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;

clarified modules;

support for file-system operations;

tuned signature;

follow standard Isabelle license --- no longer published on market place;

tuned README;

disregard public marketplace;

tuned imports;

more robust;

merged

tuned message;

clarified module;

tuned comments;

added documentation for new VSCode modules;

proper monospace font for terminal;

merged

tuned;

support system path representations (as in Isabelle/Java/Scala);

auto-update;

more robust;

clarified modules;

clarified rendering;

prefer hardwired locale;

more aggressive activation;

Added some theorems (from Wetzel)

tuned;

tuned;

tuned message;

disable extension updates;

tuned message;

disable check for updates: support just one static version;

misc tuning based on comments by Heiko Eißfeldt;

misc tuning based on comments by Heiko Eißfeldt;

removed junk;

some updates to README.md;

clarified default settings;

tuned whitespace;

support Isabelle fonts via patch of vscode resources;

proper Presentation.Entity_Context for hyperlinks (amending da1108a6d249);

clarified symbolic path;

clarified extension name (again);

removed obsolete material;

update scripts, based on recent "yo code" template;

clarified extension name (again), corresponding to qualified resources within VSCode (settings, commands, etc.);