isabelle: Changelog

wenzelm [Thu, 04 Aug 2022 22:15:50 +0200] rev 75759

clarified context for retrieval: more explicit types, with optional close() operation;

wenzelm [Thu, 04 Aug 2022 17:14:56 +0200] rev 75758

tuned;

wenzelm [Thu, 04 Aug 2022 17:08:35 +0200] rev 75757

unused;

wenzelm [Thu, 04 Aug 2022 14:48:05 +0200] rev 75756

retrieve information about used files;

wenzelm [Thu, 04 Aug 2022 13:52:43 +0200] rev 75755

tuned signature -- more robust;

wenzelm [Thu, 04 Aug 2022 13:49:57 +0200] rev 75754

tuned signature;

wenzelm [Thu, 04 Aug 2022 13:44:21 +0200] rev 75753

clarified signature: Export.Provider knows its (accidental) theory_names;

wenzelm [Thu, 04 Aug 2022 12:43:33 +0200] rev 75752

clarified signature;

wenzelm [Thu, 04 Aug 2022 12:14:56 +0200] rev 75751

tuned, following hints by IntelliJ IDEA;

wenzelm [Thu, 04 Aug 2022 12:00:58 +0200] rev 75750

clarified signature: proper session_name for Sessions.Base (like Sessions.Info);

isabelle