isabelle: Changelog

blanchet [Tue, 15 Nov 2016 17:39:40 +0100] rev 64445

generalized experimental feature slightly

nipkow [Tue, 08 Nov 2016 13:03:54 +0100] rev 64444

provided more efficient interface

wenzelm [Fri, 04 Nov 2016 13:27:31 +0100] rev 64443

back to stable scala-2.11.8;

wenzelm [Thu, 03 Nov 2016 17:51:10 +0100] rev 64442

updated to scala-2.12.0;

nipkow [Thu, 03 Nov 2016 08:10:56 +0100] rev 64441

tuned

traytel [Tue, 01 Nov 2016 16:04:35 +0100] rev 64440

tuned signature

wenzelm [Tue, 01 Nov 2016 01:20:33 +0100] rev 64439

back to post-release mode -- after fork point;

wenzelm [Tue, 01 Nov 2016 01:04:53 +0100] rev 64438

tuned;

wenzelm [Tue, 01 Nov 2016 00:55:52 +0100] rev 64437

updated to new cronjob;

wenzelm [Tue, 01 Nov 2016 00:54:03 +0100] rev 64436

build_release on lxbroy10 appears to work, including latex and remote_dmg;

isabelle