isabelle: Changelog

nipkow [Fri, 23 Mar 2018 11:37:02 +0100] rev 67929

eliminated "elems"

haftmann [Fri, 23 Mar 2018 10:52:00 +0100] rev 67928

NEWS and CONTRIBUTORS

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