| Mon, 01 Jul 2024 04:34:04 +0200 |
Thomas Lindae |
lsp: added rudimentary indenting to code actions;
|
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:32:39 +0200 |
Thomas Lindae |
lsp: created distinction for unicode symbols setting between output and edits and clarified output text functions;
|
file |
diff |
annotate
|
| Mon, 27 May 2024 13:17:09 +0200 |
Thomas Lindae |
lsp: added decoration_request notification;
|
file |
diff |
annotate
|
| Fri, 03 May 2024 11:10:58 +0200 |
Thomas Lindae |
lsp: clarified preview_request;
|
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
|
| Wed, 01 May 2024 19:09:26 +0200 |
Thomas Lindae |
lsp: tuned;
|
file |
diff |
annotate
|
| Thu, 30 May 2024 02:43:16 +0200 |
Thomas Lindae |
lsp: removed change_document normalization because it causes desyncs;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 16:06:06 +0100 |
wenzelm |
prefer dynamic objects, following a5fda30edae2;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 15:54:33 +0100 |
wenzelm |
clarified signature: incorporate guard into Logger;
|
file |
diff |
annotate
|
| Thu, 15 Feb 2024 12:37:52 +0100 |
wenzelm |
tuned: prefer explicit update operation for immutable options;
|
file |
diff |
annotate
|
| Tue, 20 Jun 2023 14:25:06 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 28 Feb 2023 17:42:13 +0100 |
wenzelm |
clarified signature: allow to provide session_heaps by different means, e.g. from tmp directory or alternative session structure;
|
file |
diff |
annotate
|
| Tue, 27 Dec 2022 22:48:01 +0100 |
wenzelm |
clarified modules: avoid duplication;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2022 22:41:47 +0100 |
wenzelm |
more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2022 13:52:44 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2022 17:51:52 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2022 17:30:29 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 07 Dec 2022 12:38:06 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 20 Aug 2022 13:35:17 +0200 |
wenzelm |
clarified signature: Sessions.Base_Info follows Sessions.Base;
|
file |
diff |
annotate
|
| Sat, 20 Aug 2022 13:28:31 +0200 |
wenzelm |
clarified signature: follow Sessions.Deps.check_errors (despite Process_Result.check);
|
file |
diff |
annotate
|
| Wed, 27 Jul 2022 13:17:32 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Tue, 22 Mar 2022 18:12:58 +0100 |
wenzelm |
command-line arguments for "isabelle vscode", similar to "isabelle jedit";
|
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
|
| Tue, 22 Feb 2022 11:53:06 +0100 |
wenzelm |
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
|
file |
diff |
annotate
|
| Mon, 13 Sep 2021 11:58:11 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 13 Sep 2021 11:52:32 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 04 Jun 2021 22:46:11 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 07 Apr 2021 18:04:30 +0200 |
wenzelm |
tuned --- following hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:58:17 +0200 |
wenzelm |
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
| Wed, 03 Mar 2021 22:31:11 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 20:14:46 +0100 |
wenzelm |
avoid conflicting base names;
|
file |
diff |
annotate
| base
|