| Mon, 14 Mar 2022 16:03:15 +0100 |
wenzelm |
support Electron application framework;
|
file |
diff |
annotate
|
| Wed, 09 Mar 2022 16:52:32 +0100 |
wenzelm |
clarified modules: vscode vs. extension;
|
file |
diff |
annotate
|
| Wed, 09 Mar 2022 16:21:14 +0100 |
wenzelm |
inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2022 21:16:12 +0100 |
wenzelm |
towards UTF-8-Isabelle symbol encoding;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2022 13:45:09 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 20:13:43 +0100 |
wenzelm |
clarified signature: file operations take standard_path as in Isabelle/ML/Scala;
|
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
|
| Wed, 02 Mar 2022 15:46:08 +0100 |
wenzelm |
tuned comments;
|
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
|
| Fri, 18 Feb 2022 14:03:45 +0100 |
wenzelm |
prefer strict equality, without implicit type conversion;
|
file |
diff |
annotate
|
| Wed, 20 Jan 2021 22:55:22 +0100 |
wenzelm |
proper type constraint;
|
file |
diff |
annotate
|
| Fri, 16 Jun 2017 20:44:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 12 Jun 2017 21:14:38 +0200 |
wenzelm |
removed pointless entries: not part of api.LanguageEntry;
|
file |
diff |
annotate
|
| Mon, 12 Jun 2017 19:28:16 +0200 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
| Mon, 12 Jun 2017 15:52:49 +0200 |
wenzelm |
retain vacuous CompletionProvider for now;
|
file |
diff |
annotate
|
| Mon, 12 Jun 2017 15:44:08 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 12 Jun 2017 15:40:40 +0200 |
wenzelm |
dynamic configuration of prettify-symbols-mode, similar to VSCoq;
|
file |
diff |
annotate
|
| Sat, 10 Jun 2017 21:34:05 +0200 |
wenzelm |
symbol completion that bypasses the LS protocol, and thus observes the range properly;
|
file |
diff |
annotate
|
| Fri, 09 Jun 2017 17:13:50 +0200 |
wenzelm |
provide information about Isabelle symbols within VSCode;
|
file |
diff |
annotate
|