isabelle: Changelog

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;

isabelle