isabelle: Changelog

wenzelm [Sat, 07 Sep 2019 12:16:11 +0200] rev 70669

avoid overlapping session directories;

wenzelm [Sat, 07 Sep 2019 12:11:42 +0200] rev 70668

support for explicit session directories;

wenzelm [Fri, 06 Sep 2019 20:29:09 +0200] rev 70667

obsolete (see 94442fce40a5);

wenzelm [Fri, 06 Sep 2019 20:23:31 +0200] rev 70666

optional trace output;

wenzelm [Fri, 06 Sep 2019 19:44:54 +0200] rev 70665

prefer commands_accepted: fewer protocol messages;

wenzelm [Fri, 06 Sep 2019 18:59:24 +0200] rev 70664

prefer define_commands_bulk: fewer protocol messages;

wenzelm [Fri, 06 Sep 2019 17:10:23 +0200] rev 70663

clarified signature;

wenzelm [Fri, 06 Sep 2019 16:48:28 +0200] rev 70662

tuned signature -- prefer bulk messages;

wenzelm [Fri, 06 Sep 2019 16:11:19 +0200] rev 70661

tuned signature;

wenzelm [Fri, 06 Sep 2019 15:50:57 +0200] rev 70660

proper session-qualifier imports (amending "fixes" from adaa0a6ea4fe);

isabelle