Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 27 May 2024 13:17:09 +0200 lsp: added decoration_request notification;
changeset
Thomas Lindae <thomas.lindae@in.tum.de> [Mon, 27 May 2024 13:17:09 +0200] rev 81043
lsp: added decoration_request notification;
Thu, 16 May 2024 11:59:33 +0200 lsp: added decorations to state updates;
changeset
Thomas Lindae <thomas.lindae@in.tum.de> [Thu, 16 May 2024 11:59:33 +0200] rev 81042
lsp: added decorations to state updates;
Thu, 16 May 2024 11:59:06 +0200 lsp: added delay to dynamic_output updates after a set_margin;
changeset
Thomas Lindae <thomas.lindae@in.tum.de> [Thu, 16 May 2024 11:59:06 +0200] rev 81041
lsp: added delay to dynamic_output updates after a set_margin;
Wed, 15 May 2024 17:04:22 +0200 lsp: added conversion of symbols for dynamic output so that decoration ranges consider vscode_unicode_symbols setting;
changeset
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 15 May 2024 17:04:22 +0200] rev 81040
lsp: added conversion of symbols for dynamic output so that decoration ranges consider vscode_unicode_symbols setting;
Wed, 15 May 2024 16:54:39 +0200 lsp: unified PIDE/decorations and dynamic output decorations format;
changeset
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 15 May 2024 16:54:39 +0200] rev 81039
lsp: unified PIDE/decorations and dynamic output decorations format;
Wed, 15 May 2024 00:11:34 +0200 vscode: changed test_string to "mix" to be consistent with jEdit;
changeset
Thomas Lindae <thomas.lindae@in.tum.de> [Wed, 15 May 2024 00:11:34 +0200] rev 81038
vscode: changed test_string to "mix" to be consistent with jEdit;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip
isabelle