isabelle: Changelog

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;

wenzelm [Tue, 01 Nov 2016 00:44:24 +0100] rev 64435

misc tuning and modernization;

kuncar [Mon, 31 Oct 2016 16:26:36 +0100] rev 64434

always expand equalities in the transfer relation in transfer_prover (cf. 0a7c97c76f46)

blanchet [Mon, 31 Oct 2016 15:48:27 +0100] rev 64433

moved contribution to right release

isabelle