isabelle: Changelog

wenzelm [Tue, 07 Mar 2023 12:50:27 +0100] rev 77561

tuned output;

wenzelm [Tue, 07 Mar 2023 12:40:10 +0100] rev 77560

clarified signature: proper abstract type;

wenzelm [Tue, 07 Mar 2023 12:21:45 +0100] rev 77559

clarified signature: support all arguments of Sessions.store();

wenzelm [Tue, 07 Mar 2023 12:15:37 +0100] rev 77558

tuned;

wenzelm [Tue, 07 Mar 2023 12:06:01 +0100] rev 77557

basic setup for "isabelle build_worker";

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;

isabelle