| Mon, 29 Aug 2022 23:59:47 +0200 |
wenzelm |
update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;
|
file |
diff |
annotate
|
| Wed, 23 Mar 2022 13:43:13 +0100 |
wenzelm |
more robust install/uninstall;
|
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
|
| Tue, 15 Mar 2022 13:13:05 +0100 |
wenzelm |
updated to vscode 1.65.2;
|
file |
diff |
annotate
|
| 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
|