isabelle: Changelog

haftmann [Mon, 28 Mar 2022 12:54:09 +0000] rev 75356

modernized handling of variables

haftmann [Sun, 27 Mar 2022 19:27:54 +0000] rev 75355

structurally tuned

haftmann [Sun, 27 Mar 2022 19:27:53 +0000] rev 75354

tuned names

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;

isabelle