Wed, 11 May 2022 10:42:24 +0200 wenzelm tuned signature; default tip
Wed, 11 May 2022 09:53:29 +0200 wenzelm provide Isabelle/Electron test;
Mon, 09 May 2022 21:01:12 +0200 wenzelm tuned text;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 tip