Fri, 19 Dec 2014 23:33:08 +0100 more generous timeout, to increase chances of at64-poly;
wenzelm [Fri, 19 Dec 2014 23:33:08 +0100] rev 59161
more generous timeout, to increase chances of at64-poly;
Fri, 19 Dec 2014 23:27:00 +0100 updated according to eb3e399f5b9f;
wenzelm [Fri, 19 Dec 2014 23:27:00 +0100] rev 59160
updated according to eb3e399f5b9f;
Fri, 19 Dec 2014 23:01:46 +0100 just one data slot per program unit;
wenzelm [Fri, 19 Dec 2014 23:01:46 +0100] rev 59159
just one data slot per program unit; tuned signature;
Fri, 19 Dec 2014 22:53:43 +0100 tuned;
wenzelm [Fri, 19 Dec 2014 22:53:43 +0100] rev 59158
tuned;
Fri, 19 Dec 2014 21:59:18 +0100 just one data slot per program unit;
wenzelm [Fri, 19 Dec 2014 21:59:18 +0100] rev 59157
just one data slot per program unit; tuned signature;
Fri, 19 Dec 2014 21:24:59 +0100 more standard configuration options;
wenzelm [Fri, 19 Dec 2014 21:24:59 +0100] rev 59156
more standard configuration options;
Fri, 19 Dec 2014 20:32:54 +0100 tuned;
wenzelm [Fri, 19 Dec 2014 20:32:54 +0100] rev 59155
tuned;
Fri, 19 Dec 2014 20:10:59 +0100 just one data slot per program unit;
wenzelm [Fri, 19 Dec 2014 20:10:59 +0100] rev 59154
just one data slot per program unit;
Fri, 19 Dec 2014 20:09:31 +0100 tuned;
wenzelm [Fri, 19 Dec 2014 20:09:31 +0100] rev 59153
tuned;
Fri, 19 Dec 2014 17:23:56 +0100 more frugal Local_Syntax.init -- maintain idents within context;
wenzelm [Fri, 19 Dec 2014 17:23:56 +0100] rev 59152
more frugal Local_Syntax.init -- maintain idents within context;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip