isabelle: Changelog

wenzelm [Mon, 07 Dec 2015 15:20:06 +0100] rev 61802

more thorough update request: semantic state of command may have changed elsewise;

wenzelm [Mon, 07 Dec 2015 15:18:05 +0100] rev 61801

tuned signature;

wenzelm [Mon, 07 Dec 2015 15:16:28 +0100] rev 61800

tuned whitespace;

wenzelm [Mon, 07 Dec 2015 10:38:04 +0100] rev 61799

isabelle update_cartouches -c -t;

wenzelm [Mon, 07 Dec 2015 10:23:50 +0100] rev 61798

isabelle update_cartouches -c -t;

wenzelm [Mon, 07 Dec 2015 10:19:30 +0100] rev 61797

tuned;

wenzelm [Sun, 06 Dec 2015 23:48:25 +0100] rev 61796

tuned;

wenzelm [Sun, 06 Dec 2015 23:17:48 +0100] rev 61795

updated to polyml-5.6-20151206, which presumably improves stability on Windows;

wenzelm [Sun, 06 Dec 2015 23:10:08 +0100] rev 61794

discontinued intermediate polyml-5.5.3, assuming the coming release will be polyml-5.6;

nipkow [Sun, 06 Dec 2015 17:27:42 +0100] rev 61793

added AA trees

isabelle