isabelle: Changelog

paulson <lp15@cam.ac.uk> [Fri, 22 Dec 2017 21:00:07 +0000] rev 67268

new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product

wenzelm [Fri, 22 Dec 2017 22:39:31 +0100] rev 67267

more symbols;

wenzelm [Fri, 22 Dec 2017 21:23:06 +0100] rev 67266

tuned;

wenzelm [Fri, 22 Dec 2017 21:05:54 +0100] rev 67265

store full blob source for the sake of markup_to_XML;

wenzelm [Fri, 22 Dec 2017 20:15:16 +0100] rev 67264

PIDE markup for non-theory nodes;

wenzelm [Fri, 22 Dec 2017 18:32:59 +0100] rev 67263

discontinued 'display_drafts' command;

wenzelm [Fri, 22 Dec 2017 17:49:51 +0100] rev 67262

action "isabelle.draft" for plain-text preview;

wenzelm [Fri, 22 Dec 2017 17:23:01 +0100] rev 67261

NEWS;

wenzelm [Fri, 22 Dec 2017 17:19:53 +0100] rev 67260

uniform preview for Isabelle/jEdit and Isabelle/VSCode;

wenzelm [Fri, 22 Dec 2017 16:26:14 +0100] rev 67259

tuned;

isabelle