isabelle: Changelog

wenzelm [Mon, 12 Dec 2016 11:17:23 +0100] rev 64552

tuned;

wenzelm [Mon, 12 Dec 2016 11:33:14 +0100] rev 64551

proper session HOL-Types_To_Sets; NEWS; CONTRIBUTORS; tuned whitespace;

wenzelm [Thu, 08 Dec 2016 15:11:20 +0100] rev 64550

Added tag Isabelle2016-1-RC5 for changeset 964ac7439a52

wenzelm [Tue, 06 Dec 2016 17:38:46 +0100] rev 64549

notes on whitespace;

wenzelm [Tue, 06 Dec 2016 17:23:54 +0100] rev 64548

avoid spurious messages -- potential cause of problems for "meson";

wenzelm [Tue, 06 Dec 2016 17:21:34 +0100] rev 64547

avoid spurious messages;

wenzelm [Sat, 10 Dec 2016 17:22:47 +0100] rev 64546

clarified output: avoid confusion with line:column notation;

wenzelm [Sat, 10 Dec 2016 17:20:39 +0100] rev 64545

clarified JSON operations (see isabelle_vscode/a7931dc2a1ab);

wenzelm [Sat, 10 Dec 2016 15:45:16 +0100] rev 64544

updated Poly/ML repository test version (08-Dec-2016);

bulwahn [Thu, 08 Dec 2016 17:22:51 +0100] rev 64543

remove typo in bij_swap_compose_bij theorem name; tune proof

isabelle