| Wed, 02 Oct 2024 10:39:32 +0200 |
Fabian Huch |
minor tuning;
|
file |
diff |
annotate
|
| Thu, 18 Jul 2024 17:59:50 +0200 |
Thomas Lindae |
lsp: added more triggerCharacters to make completion popups more consistent;
|
file |
diff |
annotate
|
| Thu, 18 Jul 2024 22:08:46 +0200 |
Thomas Lindae |
lsp: improved completions;
|
file |
diff |
annotate
|
| Tue, 09 Jul 2024 16:47:48 +0200 |
Thomas Lindae |
lsp: added symbol conversion request;
|
file |
diff |
annotate
|
| Sun, 30 Jun 2024 15:23:00 +0200 |
Thomas Lindae |
lsp: added support for code actions to apply active sendback markups;
|
file |
diff |
annotate
|
| Sun, 30 Jun 2024 15:22:50 +0200 |
Thomas Lindae |
lsp: clarified WorkspaceEdit;
|
file |
diff |
annotate
|
| Sun, 30 Jun 2024 15:22:36 +0200 |
Thomas Lindae |
lsp: made TextDocumentEdit accept optional versions;
|
file |
diff |
annotate
|
| Sun, 30 Jun 2024 15:32:26 +0200 |
Thomas Lindae |
lsp: refactored conversion from Decoration_List to JSON;
|
file |
diff |
annotate
|
| Wed, 12 Jun 2024 21:22:01 +0200 |
Thomas Lindae |
lsp: extracted panel content generation logic;
|
file |
diff |
annotate
|
| Mon, 27 May 2024 13:17:09 +0200 |
Thomas Lindae |
lsp: added decoration_request notification;
|
file |
diff |
annotate
|
| Thu, 16 May 2024 11:59:33 +0200 |
Thomas Lindae |
lsp: added decorations to state updates;
|
file |
diff |
annotate
|
| Wed, 15 May 2024 16:54:39 +0200 |
Thomas Lindae |
lsp: unified PIDE/decorations and dynamic output decorations format;
|
file |
diff |
annotate
|
| Thu, 16 May 2024 12:00:05 +0200 |
Thomas Lindae |
lsp: added decorations to dynamic output;
|
file |
diff |
annotate
|
| Fri, 03 May 2024 20:11:41 +0200 |
Thomas Lindae |
lsp: tuned;
|
file |
diff |
annotate
|
| Thu, 09 May 2024 23:05:10 +0200 |
Thomas Lindae |
lsp: added Symbols_Request;
|
file |
diff |
annotate
|
| Thu, 09 May 2024 22:22:44 +0200 |
Thomas Lindae |
lsp: added Output_Set_Margin and State_Set_Margin Notifications;
|
file |
diff |
annotate
|
| Mon, 01 Jul 2024 18:48:26 +0200 |
Thomas Lindae |
lsp: changed State_Init notification into a request and removed State_Init_Response;
|
file |
diff |
annotate
|
| Thu, 30 May 2024 02:45:24 +0200 |
Thomas Lindae |
lsp: updated ErrorCodes;
|
file |
diff |
annotate
|
| Wed, 24 Apr 2024 18:48:24 +0200 |
Thomas Lindae |
lsp: added State_Init_Response message;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Fri, 11 Mar 2022 13:07:06 +0100 |
wenzelm |
clarified signature: more uniform ts vs. Scala;
|
file |
diff |
annotate
|
| Fri, 11 Mar 2022 12:56:37 +0100 |
wenzelm |
discontinued isabelle_filesystem (superseded by isabelle_encoding), see also da1108a6d249;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 20:04:27 +0100 |
wenzelm |
provide symbols statically via ISABELLE_VSCODE_WORKSPACE, instead of LSP/PIDE protocol;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 17:15:30 +0100 |
wenzelm |
tuned, based on suggestions by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 16:46:05 +0100 |
wenzelm |
clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 16:05:02 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 15:39:51 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 13:08:25 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 22 Feb 2022 11:53:06 +0100 |
wenzelm |
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
|
file |
diff |
annotate
|
| Wed, 07 Apr 2021 18:05:48 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 13:04:29 +0100 |
wenzelm |
more informative errors: simplify diagnosis of spurious failures reported by users;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 20:14:46 +0100 |
wenzelm |
avoid conflicting base names;
|
file |
diff |
annotate
| base
|