isabelle: Changelog

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;

wenzelm [Mon, 21 Mar 2022 10:32:24 +0100] rev 75288

removed old generated file;

paulson <lp15@cam.ac.uk> [Wed, 16 Mar 2022 16:14:22 +0000] rev 75287

Tidied several ugly proofs in some elderly examples

wenzelm [Tue, 15 Mar 2022 14:15:11 +0100] rev 75286

tuned message;

wenzelm [Tue, 15 Mar 2022 14:03:56 +0100] rev 75285

clarified errors;

isabelle