more standard bundle names;

provide 'open_bundle' command;

tuned module structure;

tuned;

more inner syntax markup;

more syntax: avoid duplication in AFP;

clarified abbreviation;

tuned whitespace;

tuned;

more NEWS;

more inner syntax markup: HOL-Analysis;

tuned markup;

more inner syntax markup: HOLCF;

more 'no_syntax' bundles;

more robust 'no_syntax' via bundles;

tuned markup;

drop somewhat pointless 'syntax_consts' declarations;

clarified syntax: use outer block (with indent);

clarified syntax: prefer nonterminal "args", use outer block (with indent);

proper command kinds;

updated vscode_extension;

NEWS and CONTRIBUTORS;

clarified: add operation;

minor tuning;

lsp: added additional commit characters to immediate completions;

vscode: further adjusted default settings and wordPattern for consistent completion popups; for some reason wordPattern must be set to match (almost) everything, otherwise completions only pop up every other character, and then we must disable wordBasedSuggestions or it will suggest whole lines out of the document;

lsp: added more triggerCharacters to make completion popups more consistent;

vscode: added default setting to make completions pop up by themselves;

lsp: improved completions;

vscode: removed unused code;

vscode: removed README because its content is outdated;

vscode: disabled whitespace rendering by default because the whitespace symbol is not monospace;

lsp: added symbol conversion request;

vscode: changed how options are inserted into package.json so that one can still call `npm install` without errors;

vscode: removed unused import;

vscode: changed vscode_unicode_symbols_edits option default to true;

vscode: made uri equality check on actual strings, not on the functions;

vscode: switched document_decoration map to use strings as keys instead of Uris, because Uri equality check is inconsistent; disabled decoration requests as decoration caching is already done on client-side;

lsp: added rudimentary indenting to code actions;

vscode: adjusted setting description;

lsp: added support for code actions to apply active sendback markups;

lsp: clarified WorkspaceEdit;

lsp: made TextDocumentEdit accept optional versions;

lsp: tuned;

lsp: removed code that is never run;

lsp: created distinction for unicode symbols setting between output and edits and clarified output text functions;

clarified PIDE/line range conversions;

lsp: refactored conversion from Decoration_List to JSON;

lsp: tuned pretty_text_panel;

lsp: removed output_pretty_panel function as its logic is now in pretty_text_panel;

vscode: added more relevant options;

lsp: converted state panel to use a pretty text panel;

lsp: converted dynamic output to use a pretty text panel;

lsp: added Pretty_Text_Panel module;

vscode: added relevant isabelle options to vscode settings;

vscode: indent;

lsp: extracted panel content generation logic;

vscode: added all fonts to extension;

added vscode options tag;

vscode: tuned;