isabelle: Changelog

wenzelm [Wed, 01 Mar 2023 14:47:20 +0100] rev 77444

clarified signature: reduce explicit access to static Sessions.Structure;

wenzelm [Wed, 01 Mar 2023 14:22:15 +0100] rev 77443

tuned signature;

wenzelm [Wed, 01 Mar 2023 14:16:37 +0100] rev 77442

clarified modules (again);

wenzelm [Wed, 01 Mar 2023 14:11:55 +0100] rev 77441

tuned;

wenzelm [Wed, 01 Mar 2023 13:55:49 +0100] rev 77440

tuned signature;

wenzelm [Wed, 01 Mar 2023 13:52:11 +0100] rev 77439

avoid premature Properties.uncompress: allow blob to be stored in another database;

wenzelm [Wed, 01 Mar 2023 13:30:35 +0100] rev 77438

more robust: synchronized access to database;

wenzelm [Wed, 01 Mar 2023 13:23:49 +0100] rev 77437

clarified signature: do not expose global state to object-oriented variants;

wenzelm [Wed, 01 Mar 2023 11:30:54 +0100] rev 77436

tuned comments and outline;

paulson [Thu, 02 Mar 2023 11:34:54 +0000] rev 77435

merged

isabelle