isabelle: Changelog

wenzelm [Fri, 22 Dec 2023 14:55:55 +0100] rev 79332

clarified signature;

wenzelm [Fri, 22 Dec 2023 13:53:03 +0100] rev 79331

observe option "prune_proofs";

wenzelm [Thu, 21 Dec 2023 21:35:54 +0100] rev 79330

clarified zproof storage: per-theory table in anticipation of session exports;

wenzelm [Thu, 21 Dec 2023 21:03:02 +0100] rev 79329

proper thm_name for stored zproof;

wenzelm [Thu, 21 Dec 2023 17:07:03 +0100] rev 79328

uniform treatment of lazy facts: actual proof terms are always strict;

wenzelm [Thu, 21 Dec 2023 17:01:35 +0100] rev 79327

tuned;

wenzelm [Thu, 21 Dec 2023 11:58:19 +0100] rev 79326

tuned whitespace;

wenzelm [Thu, 21 Dec 2023 11:40:43 +0100] rev 79325

tuned;

wenzelm [Wed, 20 Dec 2023 22:32:57 +0100] rev 79324

proper Thm.transfer;

wenzelm [Wed, 20 Dec 2023 20:58:56 +0100] rev 79323

clarified context: avoid capture of thy2 within closure;

isabelle