wenzelm [Fri, 25 Feb 2022 13:15:27 +0100] rev 75140
updated notes on Isabelle/VSCode development;
wenzelm [Fri, 25 Feb 2022 12:56:40 +0100] rev 75139
proper engines.vscode (amending c04ccea8bdd2): required for "vsce package", e.g. via "isabelle build_vscode;
haftmann [Thu, 24 Feb 2022 11:25:09 +0000] rev 75138
simp rules for negative numerals
Fabian Huch <huch@in.tum.de> [Wed, 23 Feb 2022 23:24:26 +0100] rev 75137
updated vscode extension: proper recoding;
Fabian Huch <huch@in.tum.de> [Wed, 23 Feb 2022 23:17:39 +0100] rev 75136
tuned vscode extension;
Fabian Huch <huch@in.tum.de> [Wed, 23 Feb 2022 22:12:00 +0100] rev 75135
tuned vscode extension: split isabelle fsp into workspace and mapping;
Fabian Huch <huch@in.tum.de> [Wed, 23 Feb 2022 10:46:10 +0100] rev 75134
update VSCode plugin dependencies;
Fabian Huch <huch@in.tum.de> [Wed, 23 Feb 2022 10:23:19 +0100] rev 75133
added Isabelle output panel to VSCode extension;
paulson <lp15@cam.ac.uk> [Wed, 23 Feb 2022 16:28:37 +0000] rev 75132
Simplified a couple of extremely long and ugly apply-proofs
wenzelm [Tue, 22 Feb 2022 21:34:29 +0100] rev 75131
merged
wenzelm [Tue, 22 Feb 2022 21:34:12 +0100] rev 75130
some updates to README.md;
wenzelm [Tue, 22 Feb 2022 21:33:24 +0100] rev 75129
refer to Isabelle settings via environment, which is provided via "isabelle vscode";
clarified error handling;
wenzelm [Tue, 22 Feb 2022 21:30:39 +0100] rev 75128
more operations;
wenzelm [Tue, 22 Feb 2022 12:23:21 +0100] rev 75127
more robust startup wrt. VSCode workspace (by Fabian Huch);
wenzelm [Tue, 22 Feb 2022 11:53:06 +0100] rev 75126
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);