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

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;

more robust startup wrt. VSCode workspace (by Fabian Huch);

various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);

have Sledgehammer honor 'smt_nat_as_int' option

more handling of Zipperposition definitions in Isar proof construction

handle Zipperposition definitions in Isar proof construction

parse Zipperposition definitions

clarified URL;

clarified pdf path;

HTTP view of Isabelle PDF documentation;

clarified signature;

more robust;

tuned message;

clarified signature: more explicit section structure;

clarified signature;

clarified signature;

tuned signature;

tuned;

clarified URL (again);

more robust toplevel url: allow extra "/";

clarified signature;

clarified signature; clarified URLs;

clarified signature;

support for PDF.js: platform-independent PDF viewer;

more robust mime_type;

merged

improved support for Java Chromium Embedded Framework (JCEF): works on x86_64-linux and x86_64-windows with jdk-15 (not jdk-17), does not work on arm64 and darwin;

one new lemma

clarified options;

clarified options;

clarified directory;

tuned whitespace;

prefer strict equality, without implicit type conversion;