wenzelm [Thu, 10 Mar 2022 11:56:38 +0100] rev 75257
clarified startup of "isabelle vscode": vscodium component is required, with patches for Isabelle/VSCode;
wenzelm [Wed, 09 Mar 2022 23:05:07 +0100] rev 75256
tuned messages;
wenzelm [Wed, 09 Mar 2022 22:21:35 +0100] rev 75255
proper init_resources for macos;
wenzelm [Wed, 09 Mar 2022 16:58:26 +0100] rev 75254
clarified names;
wenzelm [Wed, 09 Mar 2022 16:52:32 +0100] rev 75253
clarified modules: vscode vs. extension;
clarified signature;
wenzelm [Wed, 09 Mar 2022 16:21:14 +0100] rev 75252
inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs;
wenzelm [Wed, 09 Mar 2022 12:41:40 +0100] rev 75251
more operations;
wenzelm [Wed, 09 Mar 2022 11:29:34 +0100] rev 75250
tuned comments;
tuned messages;
wenzelm [Wed, 09 Mar 2022 11:20:16 +0100] rev 75249
patch VSCode source tree to support isabelle_encoding.ts;
wenzelm [Tue, 08 Mar 2022 21:40:16 +0100] rev 75248
more robust, pass "yarn valid-layers-check";
wenzelm [Tue, 08 Mar 2022 17:09:09 +0100] rev 75247
clarified directories;
wenzelm [Tue, 08 Mar 2022 17:02:24 +0100] rev 75246
patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet;