isabelle: Changelog

wenzelm [Thu, 05 Jan 2023 19:41:12 +0100] rev 76915

proper Node.init_blobs, not just edits (amending ca872f20cf5b);

wenzelm [Thu, 05 Jan 2023 17:14:29 +0100] rev 76914

tuned signature;

wenzelm [Thu, 05 Jan 2023 17:00:22 +0100] rev 76913

tuned signature;

wenzelm [Thu, 05 Jan 2023 16:44:15 +0100] rev 76912

clarified session sources: theory and blobs are read from database, instead of physical file-system;

wenzelm [Thu, 05 Jan 2023 12:43:05 +0100] rev 76911

tuned;

wenzelm [Wed, 04 Jan 2023 16:40:02 +0100] rev 76910

clarified signature: more operations;

wenzelm [Wed, 04 Jan 2023 16:06:46 +0100] rev 76909

clarified signature: more operations;

wenzelm [Wed, 04 Jan 2023 15:53:36 +0100] rev 76908

tuned;

wenzelm [Wed, 04 Jan 2023 15:42:00 +0100] rev 76907

more direct access to session_sources, without somewhat fragile file-system operations;

wenzelm [Wed, 04 Jan 2023 15:02:48 +0100] rev 76906

tuned;

isabelle