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

clarified signature;

clarified extension name;

clarified signature;

clarified signature;

clarified options;

support local .vsix installation; discontinued publishing to VSCode Marketplace, which will become obsolete eventually;

formal record of generated package-lock.json;

pro-forma update of version, for ongoing development;

updated notes on Isabelle/VSCode development;

proper engines.vscode (amending c04ccea8bdd2): required for "vsce package", e.g. via "isabelle build_vscode;

simp rules for negative numerals

updated vscode extension: proper recoding;

tuned vscode extension;

tuned vscode extension: split isabelle fsp into workspace and mapping;

update VSCode plugin dependencies;

added Isabelle output panel to VSCode extension;

Simplified a couple of extremely long and ugly apply-proofs

merged

some updates to README.md;

refer to Isabelle settings via environment, which is provided via "isabelle vscode"; clarified error handling;

more operations;