isabelle: Changelog

wenzelm [Fri, 16 Sep 2016 17:12:39 +0200] rev 63897

consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;

immler [Fri, 16 Sep 2016 17:37:41 +0200] rev 63896

merged

immler [Thu, 15 Sep 2016 16:07:20 +0200] rev 63895

Liminf/Limsup and filtermap

Lars Hupel <lars.hupel@mytum.de> [Fri, 16 Sep 2016 16:49:13 +0200] rev 63894

benchmark doesn't need to build documents

Lars Hupel <lars.hupel@mytum.de> [Fri, 16 Sep 2016 16:48:59 +0200] rev 63893

benchmark profile runs on small worker now (6 cores)

traytel [Fri, 16 Sep 2016 16:37:11 +0200] rev 63892

merged

traytel [Fri, 16 Sep 2016 16:33:24 +0200] rev 63891

NEWS

wenzelm [Fri, 16 Sep 2016 16:15:11 +0200] rev 63890

merged

wenzelm [Fri, 16 Sep 2016 15:56:56 +0200] rev 63889

serious measurements require jobs = 1;

wenzelm [Fri, 16 Sep 2016 15:54:50 +0200] rev 63888

sessions that are relevant for routine timing measurements;

isabelle