wenzelm [Tue, 22 Mar 2022 19:08:47 +0100] rev 75298
clarified options;
wenzelm [Tue, 22 Mar 2022 18:56:28 +0100] rev 75297
more robust errors -- on foreground process instead of background server;
wenzelm [Tue, 22 Mar 2022 18:52:27 +0100] rev 75296
clarified options -l vs. -R;
wenzelm [Tue, 22 Mar 2022 18:12:58 +0100] rev 75295
command-line arguments for "isabelle vscode", similar to "isabelle jedit";
wenzelm [Tue, 22 Mar 2022 16:49:18 +0100] rev 75294
proper command-line tool;
wenzelm [Tue, 22 Mar 2022 13:05:01 +0100] rev 75293
support console output, e.g. "isabelle vscode -C -- --help";
wenzelm [Tue, 22 Mar 2022 12:48:27 +0100] rev 75292
run Isabelle/VSCode via Scala;
wenzelm [Mon, 21 Mar 2022 11:55:51 +0100] rev 75291
clarified module name;
wenzelm [Mon, 21 Mar 2022 11:40:11 +0100] rev 75290
clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
wenzelm [Mon, 21 Mar 2022 10:56:29 +0100] rev 75289
incorporate build_grammar into build_vscode_extension;