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