isabelle: Changelog

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);

wenzelm [Thu, 04 Aug 2022 11:29:40 +0200] rev 75749

tuned signature;

wenzelm [Wed, 03 Aug 2022 13:49:41 +0200] rev 75748

clarified signature;

wenzelm [Wed, 03 Aug 2022 13:07:32 +0200] rev 75747

clarified signature;

isabelle