isabelle: Changelog

haftmann [Sun, 27 Mar 2022 19:27:52 +0000] rev 75353

prefer build combinator

haftmann [Sun, 27 Mar 2022 19:27:50 +0000] rev 75352

tuned whitespace

wenzelm [Fri, 25 Mar 2022 17:21:39 +0100] rev 75351

proper option argument;

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;

wenzelm [Fri, 25 Mar 2022 17:08:32 +0100] rev 75349

tuned signature;

wenzelm [Fri, 25 Mar 2022 17:00:12 +0100] rev 75348

tuned signature; clarified modules;

wenzelm [Fri, 25 Mar 2022 16:41:03 +0100] rev 75347

tuned text, without update of component for now;

wenzelm [Fri, 25 Mar 2022 16:40:48 +0100] rev 75346

omit somewhat pointless integrity check;

wenzelm [Fri, 25 Mar 2022 16:35:15 +0100] rev 75345

tuned;

blanchet [Fri, 25 Mar 2022 13:52:23 +0100] rev 75344

compile TPTP module

isabelle