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 -30 -10 -6 +6 +10 +30 +100 tip

vscode: removed unused import;
3 months ago, by Thomas Lindae
vscode: changed vscode_unicode_symbols_edits option default to true;
3 months ago, by Thomas Lindae
vscode: made uri equality check on actual strings, not on the functions;
3 months ago, by Thomas Lindae
vscode: switched document_decoration map to use strings as keys instead of Uris, because Uri equality check is inconsistent;
3 months ago, by Thomas Lindae
lsp: added rudimentary indenting to code actions;
4 months ago, by Thomas Lindae
vscode: adjusted setting description;
4 months ago, by Thomas Lindae

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 tip

isabelle