Sat, 14 Sep 2013 13:59:57 +0200 tuned proofs;
wenzelm [Sat, 14 Sep 2013 13:59:57 +0200] rev 53634
tuned proofs;
Sat, 14 Sep 2013 20:57:22 +1000 print find_thms result in reverse order so best result is on top
kleing [Sat, 14 Sep 2013 20:57:22 +1000] rev 53633
print find_thms result in reverse order so best result is on top
Sat, 14 Sep 2013 20:56:12 +1000 more useful sorting of find_thms results
kleing [Sat, 14 Sep 2013 20:56:12 +1000] rev 53632
more useful sorting of find_thms results
Fri, 13 Sep 2013 23:52:01 +0200 proper sharing after change of directory structure (cf. 32ec957e5c3e);
wenzelm [Fri, 13 Sep 2013 23:52:01 +0200] rev 53631
proper sharing after change of directory structure (cf. 32ec957e5c3e); result is structurally equal, despite change of hash key;
Fri, 13 Sep 2013 23:17:04 +0200 restricted heap, which might improve stability of this test;
wenzelm [Fri, 13 Sep 2013 23:17:04 +0200] rev 53630
restricted heap, which might improve stability of this test;
Fri, 13 Sep 2013 22:33:16 +0200 merged
wenzelm [Fri, 13 Sep 2013 22:33:16 +0200] rev 53629
merged
Fri, 13 Sep 2013 22:31:56 +0200 tuned proofs;
wenzelm [Fri, 13 Sep 2013 22:31:56 +0200] rev 53628
tuned proofs;
Fri, 13 Sep 2013 22:16:26 +0200 tuned proofs;
wenzelm [Fri, 13 Sep 2013 22:16:26 +0200] rev 53627
tuned proofs;
Fri, 13 Sep 2013 21:14:08 +0200 updated to jdk-7u40;
wenzelm [Fri, 13 Sep 2013 21:14:08 +0200] rev 53626
updated to jdk-7u40;
Fri, 13 Sep 2013 14:53:00 +0200 added component jdk-7u40.tar.gz (inactive);
wenzelm [Fri, 13 Sep 2013 14:53:00 +0200] rev 53625
added component jdk-7u40.tar.gz (inactive);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip