Wed, 09 Mar 2022 16:52:32 +0100 clarified modules: vscode vs. extension;
wenzelm [Wed, 09 Mar 2022 16:52:32 +0100] rev 75253
clarified modules: vscode vs. extension; clarified signature;
Wed, 09 Mar 2022 16:21:14 +0100 inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs;
wenzelm [Wed, 09 Mar 2022 16:21:14 +0100] rev 75252
inline Isabelle symbols into source text, so that "isabelle vscode" can start up properly without access to process.env or fs;
Wed, 09 Mar 2022 12:41:40 +0100 more operations;
wenzelm [Wed, 09 Mar 2022 12:41:40 +0100] rev 75251
more operations;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip