isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 tip

updated vscode_extension;
12 months ago, by Fabian Huch
NEWS and CONTRIBUTORS;
12 months ago, by Fabian Huch
clarified: add operation;
12 months ago, by Fabian Huch
minor tuning;
12 months ago, by Fabian Huch
lsp: added additional commit characters to immediate completions;
14 months ago, by Thomas Lindae
vscode: further adjusted default settings and wordPattern for consistent completion popups;
14 months ago, by Thomas Lindae
lsp: added more triggerCharacters to make completion popups more consistent;
14 months ago, by Thomas Lindae
vscode: added default setting to make completions pop up by themselves;
14 months ago, by Thomas Lindae
lsp: improved completions;
14 months ago, by Thomas Lindae
vscode: removed unused code;
14 months ago, by Thomas Lindae
vscode: removed README because its content is outdated;
14 months ago, by Thomas Lindae
vscode: disabled whitespace rendering by default because the whitespace symbol is not monospace;
14 months ago, by Thomas Lindae
lsp: added symbol conversion request;
14 months ago, by Thomas Lindae
vscode: changed how options are inserted into package.json so that one can still call `npm install` without errors;
15 months ago, by Thomas Lindae
vscode: removed unused import;
15 months ago, by Thomas Lindae

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 tip

isabelle