isabelle: Changelog

wenzelm [Fri, 29 Jun 2018 19:50:03 +0200] rev 68543

misc tuning for release;

wenzelm [Fri, 29 Jun 2018 16:53:37 +0200] rev 68542

clarified error;

wenzelm [Fri, 29 Jun 2018 16:45:54 +0200] rev 68541

command-line option for include_sessions;

wenzelm [Fri, 29 Jun 2018 15:54:41 +0200] rev 68540

disallow pending hyps; disallow pending shyps, with option to override the check; tuned message;

wenzelm [Fri, 29 Jun 2018 14:19:52 +0200] rev 68539

disallow hyps in export; handle extra shyps as explicit sort constraints;

wenzelm [Fri, 29 Jun 2018 14:02:14 +0200] rev 68538

always consolidate: allow errors in presentation;

wenzelm [Fri, 29 Jun 2018 11:36:31 +0200] rev 68537

proper build_heap;

isabelle