Thu, 19 Dec 2013 17:24:17 +0100 distinguish not preplayed & timed out
blanchet [Thu, 19 Dec 2013 17:24:17 +0100] rev 54823
distinguish not preplayed & timed out
Thu, 19 Dec 2013 17:11:54 +0100 pick up tfree/tvar type from SPASS-Pirate proof
blanchet [Thu, 19 Dec 2013 17:11:54 +0100] rev 54822
pick up tfree/tvar type from SPASS-Pirate proof
Thu, 19 Dec 2013 16:11:20 +0100 tuning
blanchet [Thu, 19 Dec 2013 16:11:20 +0100] rev 54821
tuning
Thu, 19 Dec 2013 15:47:17 +0100 extended ATP types with sorts
blanchet [Thu, 19 Dec 2013 15:47:17 +0100] rev 54820
extended ATP types with sorts
Thu, 19 Dec 2013 15:04:21 +0100 removed debugging output
blanchet [Thu, 19 Dec 2013 15:04:21 +0100] rev 54819
removed debugging output
Thu, 19 Dec 2013 14:57:21 +0100 honor SPASS-Pirate type arguments
blanchet [Thu, 19 Dec 2013 14:57:21 +0100] rev 54818
honor SPASS-Pirate type arguments
Thu, 19 Dec 2013 13:46:42 +0100 made SML/NJ-friendlier (hopefully)
blanchet [Thu, 19 Dec 2013 13:46:42 +0100] rev 54817
made SML/NJ-friendlier (hopefully)
Thu, 19 Dec 2013 13:43:21 +0100 made timeouts in Sledgehammer not be 'option's -- simplified lots of code
blanchet [Thu, 19 Dec 2013 13:43:21 +0100] rev 54816
made timeouts in Sledgehammer not be 'option's -- simplified lots of code
Thu, 19 Dec 2013 10:15:12 +0100 simplified data structure
blanchet [Thu, 19 Dec 2013 10:15:12 +0100] rev 54815
simplified data structure
Thu, 19 Dec 2013 10:12:28 +0100 prevent curl's output to interfere with the prover's output
blanchet [Thu, 19 Dec 2013 10:12:28 +0100] rev 54814
prevent curl's output to interfere with the prover's output
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip