isabelle: Changelog

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;

wenzelm [Wed, 03 Aug 2022 12:58:17 +0200] rev 75746

clarified signature;

wenzelm [Wed, 03 Aug 2022 12:25:37 +0200] rev 75745

avoid multiple load_commands;

wenzelm [Wed, 03 Aug 2022 12:25:23 +0200] rev 75744

avoid redundant dependencies.load_commands with potential errors (amending ea4f86914cb2);

isabelle