Fri, 25 Mar 2022 17:20:12 +0100 prefer Isabelle shasum over the old command-line tool with its extra marker character;
wenzelm [Fri, 25 Mar 2022 17:20:12 +0100] rev 75350
prefer Isabelle shasum over the old command-line tool with its extra marker character;
Fri, 25 Mar 2022 17:08:32 +0100 tuned signature;
wenzelm [Fri, 25 Mar 2022 17:08:32 +0100] rev 75349
tuned signature;
Fri, 25 Mar 2022 17:00:12 +0100 tuned signature;
wenzelm [Fri, 25 Mar 2022 17:00:12 +0100] rev 75348
tuned signature; clarified modules;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip