Fri, 21 Oct 2016 21:03:17 +0200 minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
wenzelm [Fri, 21 Oct 2016 21:03:17 +0200] rev 64340
minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
Fri, 21 Oct 2016 20:58:51 +0200 misc tuning and updates;
wenzelm [Fri, 21 Oct 2016 20:58:51 +0200] rev 64339
misc tuning and updates;
Fri, 21 Oct 2016 20:49:40 +0200 clarified default args;
wenzelm [Fri, 21 Oct 2016 20:49:40 +0200] rev 64338
clarified default args; more ambitious tests;
Fri, 21 Oct 2016 18:18:26 +0200 speculative support for latest Mac OS X versions -- no reference systems yet;
wenzelm [Fri, 21 Oct 2016 18:18:26 +0200] rev 64337
speculative support for latest Mac OS X versions -- no reference systems yet;
Fri, 21 Oct 2016 17:24:57 +0200 merged
wenzelm [Fri, 21 Oct 2016 17:24:57 +0200] rev 64336
merged
Fri, 21 Oct 2016 17:24:43 +0200 more ambitious default;
wenzelm [Fri, 21 Oct 2016 17:24:43 +0200] rev 64335
more ambitious default;
Fri, 21 Oct 2016 16:46:02 +0200 updated to new structure Foreign;
wenzelm [Fri, 21 Oct 2016 16:46:02 +0200] rev 64334
updated to new structure Foreign; more robust memory management;
Fri, 21 Oct 2016 11:02:36 +0200 HOL-Probability: Essential Supremum as Limsup over ae_filter
hoelzl [Fri, 21 Oct 2016 11:02:36 +0200] rev 64333
HOL-Probability: Essential Supremum as Limsup over ae_filter
Fri, 21 Oct 2016 11:45:35 +0200 less ambitious test;
wenzelm [Fri, 21 Oct 2016 11:45:35 +0200] rev 64332
less ambitious test;
Fri, 21 Oct 2016 11:19:15 +0200 proper type for Poly/ML development version;
wenzelm [Fri, 21 Oct 2016 11:19:15 +0200] rev 64331
proper type for Poly/ML development version;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip