wenzelm [Sat, 14 Sep 2013 14:01:48 +0200] rev 54772
merged
wenzelm [Sat, 14 Sep 2013 13:59:57 +0200] rev 54771
tuned proofs;
kleing [Sat, 14 Sep 2013 20:57:22 +1000] rev 54770
print find_thms result in reverse order so best result is on top
kleing [Sat, 14 Sep 2013 20:56:12 +1000] rev 54769
more useful sorting of find_thms results
wenzelm [Fri, 13 Sep 2013 23:52:01 +0200] rev 54768
proper sharing after change of directory structure (cf. 32ec957e5c3e);
result is structurally equal, despite change of hash key;
wenzelm [Fri, 13 Sep 2013 23:17:04 +0200] rev 54767
restricted heap, which might improve stability of this test;
wenzelm [Fri, 13 Sep 2013 22:33:16 +0200] rev 54766
merged
wenzelm [Fri, 13 Sep 2013 22:31:56 +0200] rev 54765
tuned proofs;
wenzelm [Fri, 13 Sep 2013 22:16:26 +0200] rev 54764
tuned proofs;
wenzelm [Fri, 13 Sep 2013 21:14:08 +0200] rev 54763
updated to jdk-7u40;