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 tip

more robust 'no_syntax' via bundles;
6 weeks ago, by wenzelm
tuned markup;
6 weeks ago, by wenzelm
drop somewhat pointless 'syntax_consts' declarations;
6 weeks ago, by wenzelm
clarified syntax: use outer block (with indent);
6 weeks ago, by wenzelm
clarified syntax: prefer nonterminal "args", use outer block (with indent);
6 weeks ago, by wenzelm
proper command kinds;
6 weeks ago, by Fabian Huch
updated vscode_extension;
6 weeks ago, by Fabian Huch
NEWS and CONTRIBUTORS;
6 weeks ago, by Fabian Huch
clarified: add operation;
6 weeks ago, by Fabian Huch
minor tuning;
6 weeks ago, by Fabian Huch
lsp: added additional commit characters to immediate completions;
3 months ago, by Thomas Lindae
vscode: further adjusted default settings and wordPattern for consistent completion popups;
3 months ago, by Thomas Lindae
lsp: added more triggerCharacters to make completion popups more consistent;
3 months ago, by Thomas Lindae
vscode: added default setting to make completions pop up by themselves;
4 months ago, by Thomas Lindae
lsp: improved completions;
3 months ago, by Thomas Lindae

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

isabelle