| 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
|