isabelle: Changelog

wenzelm [Tue, 07 Mar 2023 12:03:42 +0100] rev 77556

tuned comments;

wenzelm [Tue, 07 Mar 2023 11:13:36 +0100] rev 77555

tuned structure;

wenzelm [Tue, 07 Mar 2023 10:57:50 +0100] rev 77554

clarified terminology of "session build database", while "build database" is the one underlying Build_Process;

wenzelm [Tue, 07 Mar 2023 10:16:24 +0100] rev 77553

clarified modules;

wenzelm [Mon, 06 Mar 2023 21:12:47 +0100] rev 77552

clarified signature: reduce boilerplate;

wenzelm [Mon, 06 Mar 2023 19:37:32 +0100] rev 77551

clarified messages;

wenzelm [Mon, 06 Mar 2023 19:18:53 +0100] rev 77550

tuned signature;

wenzelm [Mon, 06 Mar 2023 19:13:27 +0100] rev 77549

tuned structure;

wenzelm [Mon, 06 Mar 2023 19:09:17 +0100] rev 77548

clarified signature;

wenzelm [Mon, 06 Mar 2023 18:58:48 +0100] rev 77547

clarified signature;

isabelle