wenzelm [Sat, 08 Dec 2012 22:41:39 +0100] rev 51459
merged
blanchet [Sat, 08 Dec 2012 22:15:44 +0100] rev 51458
merge
blanchet [Sat, 08 Dec 2012 21:54:28 +0100] rev 51457
don't blacklist "case" theorems -- this causes problems in MaSh later
blanchet [Sat, 08 Dec 2012 13:55:26 +0100] rev 51456
more changes to MaSh Python program (by Daniel K.)
blanchet [Sat, 08 Dec 2012 00:48:51 +0100] rev 51455
don't have MaSh pretend it knows facts it doesn't know
blanchet [Sat, 08 Dec 2012 00:48:51 +0100] rev 51454
reverted parallel map idea -- appears to make success rate of ATPs less stable (might even lead to bias in favor of MePo)
blanchet [Sat, 08 Dec 2012 00:48:50 +0100] rev 51453
fixed embarrassing off-by-one bug in MaSh's Mesh
blanchet [Sat, 08 Dec 2012 00:48:50 +0100] rev 51452
store evaluation output in a file
blanchet [Sat, 08 Dec 2012 00:48:50 +0100] rev 51451
use parallel map
blanchet [Sat, 08 Dec 2012 00:48:50 +0100] rev 51450
tweak MaSh fudge factors