isabelle: Changelog

wenzelm [Fri, 29 Jun 2018 22:50:35 +0200] rev 68548

tuned;

wenzelm [Fri, 29 Jun 2018 22:14:33 +0200] rev 68547

merged;

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;

isabelle