isabelle: Changelog

wenzelm [Sun, 12 Nov 2023 22:05:59 +0100] rev 78963

clarified signature: more operations, allow recursive get;

wenzelm [Sun, 12 Nov 2023 20:59:23 +0100] rev 78962

tuned signature;

wenzelm [Sun, 12 Nov 2023 20:19:51 +0100] rev 78961

tuned signature: more operations;

wenzelm [Sun, 12 Nov 2023 19:58:45 +0100] rev 78960

clarified signature;

wenzelm [Sun, 12 Nov 2023 12:54:26 +0100] rev 78959

tuned output;

wenzelm [Sun, 12 Nov 2023 12:34:04 +0100] rev 78958

more robust: prefer strict operations;

wenzelm [Sun, 12 Nov 2023 12:33:22 +0100] rev 78957

tuned message;

wenzelm [Sun, 12 Nov 2023 12:26:08 +0100] rev 78956

tuned signature: more operations;

haftmann [Sat, 11 Nov 2023 17:44:03 +0000] rev 78955

more specific name for type class

wenzelm [Sat, 11 Nov 2023 22:17:14 +0100] rev 78954

proper check_file operation via File.space (amending 6ad3a412ed97 --- broken in Isabelle2023);

isabelle