Wed, 23 Feb 2022 22:12:00 +0100 Fabian Huch tuned vscode extension: split isabelle fsp into workspace and mapping;
Wed, 23 Feb 2022 10:46:10 +0100 Fabian Huch update VSCode plugin dependencies;
Wed, 23 Feb 2022 10:23:19 +0100 Fabian Huch added Isabelle output panel to VSCode extension;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip