isabelle: Changelog

wenzelm [Fri, 19 Dec 2014 21:24:59 +0100] rev 59156

more standard configuration options;

wenzelm [Fri, 19 Dec 2014 20:32:54 +0100] rev 59155

tuned;

wenzelm [Fri, 19 Dec 2014 20:10:59 +0100] rev 59154

just one data slot per program unit;

wenzelm [Fri, 19 Dec 2014 20:09:31 +0100] rev 59153

tuned;

wenzelm [Fri, 19 Dec 2014 17:23:56 +0100] rev 59152

more frugal Local_Syntax.init -- maintain idents within context;

wenzelm [Fri, 19 Dec 2014 12:56:06 +0100] rev 59151

proper exception for internal program failure, not user-error;

wenzelm [Fri, 19 Dec 2014 12:36:50 +0100] rev 59150

tuned;

wenzelm [Thu, 18 Dec 2014 21:10:39 +0100] rev 59149

suppress irrelevant timing messages (the majority);

wenzelm [Thu, 18 Dec 2014 17:26:53 +0100] rev 59148

less ambitious settings -- increase chances of success;

wenzelm [Thu, 18 Dec 2014 16:13:54 +0100] rev 59147

peek value without synchronization;

isabelle