tuned;

updated vscode_extension;

merged

provide pre-built vscodium-1.65.2 for all platforms;

tuned;

clarified options;

provide vscode_extension via component, thus users don't need Node.js…

merged

tuned message;

more operations;

tuned signature;

more robust install/uninstall;

tuned;

more formal extension_manifest, with shasum for sources;

tuned signature;

clarified signature;

tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java;

proper usage;

clarified modules;

tuned signature;

tuned signature;

more robust errors -- on foreground process instead of background server;

clarified options;

command-line arguments for "isabelle vscode", similar to "isabelle jedit";

clarified options -l vs. -R;

support console output, e.g. "isabelle vscode -C -- --help";

proper command-line tool;

run Isabelle/VSCode via Scala;

clarified module name;

clean build from explicit MANIFEST: avoid accidental garbage in vsix package;

removed old generated file;

incorporate build_grammar into build_vscode_extension;

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

tuned;

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

support Electron application framework;

clarified and unified executable names;

tuned;

tuned;

merged

suppress OCaml icons: avoid conflict of .ml and .ML, due to case-insensitive…

more robust: avoid breakdown of Search dialog;

tuned;

always use Isabelle encoding, as in Isabelle/jEdit;

clarified signature: more uniform ts vs. Scala;

tuned signature;

discontinued isabelle_filesystem (superseded by isabelle_encoding), see also…

actually decode/encode symbols;

merged

prefer yarn over npm;

clarified startup of "isabelle vscode": vscodium component is required, with…

more accurate .hgignore;

clarified names;

tuned messages;

proper init_resources for macos;

clarified modules: vscode vs. extension;

inline Isabelle symbols into source text, so that "isabelle vscode" can start…

more operations;

tuned comments;

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

patch VSCode source tree to support isabelle_encoding.ts;

clarified directories;

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

fit into vscode source conventions;

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…

tuned comments;

proper file headers;

more robust dependencies: avoid implicit update, escpecially of underlying…

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…

tuned message;

tuned imports;

tuned;

misc tuning and clarification;

more executable files;

tuned;

clarified signature;

tuned output;

tuned, based on suggestions by IntelliJ IDEA;

clarified command-line options;

tuned;

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);