| Fri, 11 Mar 2022 14:02:13 +0100 |
wenzelm |
more robust: avoid breakdown of Search dialog;
|
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, 10 Mar 2022 12:28:20 +0100 |
wenzelm |
prefer yarn over npm;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2022 17:18:19 +0100 |
wenzelm |
updated to VSCode 1.65.0;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2022 12:40:36 +0100 |
wenzelm |
more robust dependencies: avoid implicit update, escpecially of underlying vscode engine;
|
file |
diff |
annotate
|
| Mon, 28 Feb 2022 14:24:39 +0100 |
wenzelm |
more aggressive activation;
|
file |
diff |
annotate
|
| Fri, 25 Feb 2022 16:08:30 +0100 |
wenzelm |
clarified extension name (again);
|
file |
diff |
annotate
|
| Fri, 25 Feb 2022 15:59:37 +0100 |
wenzelm |
update scripts, based on recent "yo code" template;
|
file |
diff |
annotate
|
| Fri, 25 Feb 2022 15:47:47 +0100 |
wenzelm |
clarified extension name (again), corresponding to qualified resources within VSCode (settings, commands, etc.);
|
file |
diff |
annotate
|
| Fri, 25 Feb 2022 15:01:47 +0100 |
wenzelm |
clarified extension name;
|
file |
diff |
annotate
|
| Fri, 25 Feb 2022 13:18:30 +0100 |
wenzelm |
pro-forma update of version, for ongoing development;
|
file |
diff |
annotate
|
| 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
|
| Wed, 20 Jan 2021 22:43:58 +0100 |
wenzelm |
VSCode extension for official Isabelle release;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2020 13:20:22 +0100 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| Mon, 02 Mar 2020 13:57:03 +0100 |
wenzelm |
VSCode extension for official Isabelle release;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2020 12:27:49 +0100 |
wenzelm |
clarified versions -- more reproducible build;
|
file |
diff |
annotate
|
| Wed, 26 Feb 2020 16:03:29 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Wed, 26 Feb 2020 15:41:27 +0100 |
wenzelm |
updated version;
|
file |
diff |
annotate
|
| Wed, 26 Feb 2020 15:38:04 +0100 |
wenzelm |
less ambitious preview: discontinued preview-update / preview-source which did not work on the spot via WebviewPanel;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2020 18:30:08 +0100 |
wenzelm |
update to WebviewPanel API, following initial version by Peter Zeller;
|
file |
diff |
annotate
|
| Sat, 11 May 2019 19:08:26 +0200 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| Thu, 02 May 2019 22:06:40 +0200 |
wenzelm |
VSCode extension for official Isabelle release;
|
file |
diff |
annotate
|
| Sun, 24 Mar 2019 17:24:24 +0100 |
wenzelm |
more markup for various text kinds, notably for nested formal comments;
|
file |
diff |
annotate
|
| Wed, 21 Nov 2018 15:29:15 +0100 |
wenzelm |
updated version;
|
file |
diff |
annotate
|
| Wed, 21 Nov 2018 14:45:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 21 Nov 2018 14:33:30 +0100 |
wenzelm |
more comment markup;
|
file |
diff |
annotate
|
| Sat, 01 Sep 2018 20:25:53 +0200 |
wenzelm |
updated version;
|
file |
diff |
annotate
|
| Sat, 01 Sep 2018 20:20:50 +0200 |
wenzelm |
more explicit status for "canceled" command within theory node;
|
file |
diff |
annotate
|
| Sat, 01 Sep 2018 18:39:36 +0200 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| Fri, 29 Jun 2018 20:32:24 +0200 |
wenzelm |
VSCode extension for official Isabelle release;
|
file |
diff |
annotate
|
| Thu, 14 Jun 2018 17:50:23 +0200 |
wenzelm |
auto update;
|
file |
diff |
annotate
|
| Sat, 10 Mar 2018 11:40:25 +0100 |
wenzelm |
auto update;
|
file |
diff |
annotate
|
| Fri, 02 Mar 2018 15:16:10 +0100 |
wenzelm |
prefer https;
|
file |
diff |
annotate
|
| Tue, 02 Jan 2018 15:38:22 +0100 |
wenzelm |
clarified terminology of "markdown_bullet";
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 17:19:53 +0100 |
wenzelm |
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 14:35:29 +0100 |
wenzelm |
auto update;
|
file |
diff |
annotate
|
| Mon, 25 Sep 2017 09:46:26 +0200 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2017 18:26:55 +0200 |
wenzelm |
updated version for release;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2017 10:28:22 +0200 |
wenzelm |
auto update;
|
file |
diff |
annotate
|
| Sat, 02 Sep 2017 17:21:52 +0200 |
wenzelm |
VSCode extension for official Isabelle release;
|
file |
diff |
annotate
|
| Sat, 02 Sep 2017 17:15:12 +0200 |
wenzelm |
auto update;
|
file |
diff |
annotate
|
| Fri, 11 Aug 2017 18:51:25 +0200 |
wenzelm |
updated package version;
|
file |
diff |
annotate
|
| Thu, 10 Aug 2017 14:33:23 +0200 |
wenzelm |
auto update;
|
file |
diff |
annotate
|
| Fri, 30 Jun 2017 21:55:07 +0200 |
wenzelm |
tuned documentation;
|
file |
diff |
annotate
|
| Fri, 30 Jun 2017 16:28:06 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 30 Jun 2017 16:16:45 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|