isabelle: Changelog

wenzelm [Thu, 22 Mar 2018 17:18:33 +0100] rev 67927

tuned;

wenzelm [Thu, 22 Mar 2018 17:06:15 +0100] rev 67926

merged

wenzelm [Thu, 22 Mar 2018 17:05:06 +0100] rev 67925

provide tmp_dir for server session;

wenzelm [Thu, 22 Mar 2018 17:00:48 +0100] rev 67924

clarified signature: flexible base_dir;

wenzelm [Thu, 22 Mar 2018 16:39:22 +0100] rev 67923

clarified exported messages, e.g. suppress "information", "tracing"; export "legacy_feature" as "warning", in accordance to console default output;

wenzelm [Thu, 22 Mar 2018 16:20:53 +0100] rev 67922

clarified signature: prefer selective include_sessions;

wenzelm [Thu, 22 Mar 2018 15:11:14 +0100] rev 67921

clarified signature: more uniform session_id;

wenzelm [Thu, 22 Mar 2018 14:57:42 +0100] rev 67920

clarified signature;

isabelle