Tue, 22 Feb 2022 21:34:12 +0100 some updates to README.md;
wenzelm [Tue, 22 Feb 2022 21:34:12 +0100] rev 75130
some updates to README.md;
Tue, 22 Feb 2022 21:33:24 +0100 refer to Isabelle settings via environment, which is provided via "isabelle vscode";
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;
Tue, 22 Feb 2022 21:30:39 +0100 more operations;
wenzelm [Tue, 22 Feb 2022 21:30:39 +0100] rev 75128
more operations;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip