Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
vscode: tuned;
8 months ago, by Thomas Lindae
lsp: refactored non-html dynamic/state output;
8 months ago, by Thomas Lindae
vscode: reduced how often symbol width gets measured;
8 months ago, by Thomas Lindae
vscode: IsabelleDejaVuSansMono for state and output panel;
8 months ago, by Thomas Lindae
vscode: added decoration request on file switch;
8 months ago, by Thomas Lindae
lsp: added decoration_request notification;
8 months ago, by Thomas Lindae
lsp: added decorations to state updates;
8 months ago, by Thomas Lindae
lsp: added delay to dynamic_output updates after a set_margin;
8 months ago, by Thomas Lindae
lsp: added conversion of symbols for dynamic output so that decoration ranges consider vscode_unicode_symbols setting;
8 months ago, by Thomas Lindae
lsp: unified PIDE/decorations and dynamic output decorations format;
8 months ago, by Thomas Lindae
vscode: changed test_string to "mix" to be consistent with jEdit;
8 months ago, by Thomas Lindae
lsp: added decorations to dynamic output;
8 months ago, by Thomas Lindae
lsp: force update after state_set_margin;
8 months ago, by Thomas Lindae
vscode: added dynamic and state output set margin messages to vscode extension;
8 months ago, by Thomas Lindae
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
tip