isabelle: Changelog

wenzelm [Fri, 29 Jun 2018 20:32:24 +0200] rev 68546

VSCode extension for official Isabelle release;

wenzelm [Fri, 29 Jun 2018 20:11:17 +0200] rev 68545

misc tuning and updates for release;

wenzelm [Fri, 29 Jun 2018 19:53:15 +0200] rev 68544

more manual tests;

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