Fri, 25 Feb 2022 12:56:40 +0100 |
wenzelm |
proper engines.vscode (amending c04ccea8bdd2): required for "vsce package", e.g. via "isabelle build_vscode;
|
file |
diff |
annotate
|
Wed, 23 Feb 2022 10:46:10 +0100 |
Fabian Huch |
update VSCode plugin dependencies;
|
file |
diff |
annotate
|
Wed, 23 Feb 2022 10:23:19 +0100 |
Fabian Huch |
added Isabelle output panel to VSCode extension;
|
file |
diff |
annotate
|
Tue, 22 Feb 2022 21:33:24 +0100 |
wenzelm |
refer to Isabelle settings via environment, which is provided via "isabelle vscode";
|
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 13:26:11 +0100 |
wenzelm |
more activationEvents, as proposed by Denis Paluca;
|
file |
diff |
annotate
|
Fri, 12 Nov 2021 18:47:07 +0100 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
Fri, 12 Nov 2021 18:45:02 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
Wed, 07 Apr 2021 22:32:43 +0200 |
wenzelm |
some tinkering with npm versions;
|
file |
diff |
annotate
|
Wed, 07 Apr 2021 22:28:41 +0200 |
wenzelm |
some tinkering with npm versions;
|
file |
diff |
annotate
|
Wed, 07 Apr 2021 18:13:02 +0200 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
Wed, 07 Apr 2021 18:05:14 +0200 |
wenzelm |
auto-update due to "isabelle build_vscode";
|
file |
diff |
annotate
|
Wed, 20 Jan 2021 23:31:23 +0100 |
wenzelm |
proper typescript version, required for "vsce package";
|
file |
diff |
annotate
|
Wed, 20 Jan 2021 22:56:37 +0100 |
wenzelm |
auto-update;
|
file |
diff |
annotate
|
Wed, 20 Jan 2021 22:55:57 +0100 |
wenzelm |
auto-update;
|
file |
diff |
annotate
|