Fri, 01 Aug 2014 14:43:57 +0200 generate backquotes without markup, since this confuses preplay; bump up spying version identifier;
blanchet [Fri, 01 Aug 2014 14:43:57 +0200] rev 57727
generate backquotes without markup, since this confuses preplay; bump up spying version identifier;
Thu, 31 Jul 2014 13:19:57 +0200 simplified tactics slightly
traytel [Thu, 31 Jul 2014 13:19:57 +0200] rev 57726
simplified tactics slightly
Thu, 31 Jul 2014 00:45:55 +0200 cascading timeout in parallel evaluation, to rapidly find optimum
blanchet [Thu, 31 Jul 2014 00:45:55 +0200] rev 57725
cascading timeout in parallel evaluation, to rapidly find optimum
Wed, 30 Jul 2014 23:52:56 +0200 put faster proof methods first
blanchet [Wed, 30 Jul 2014 23:52:56 +0200] rev 57724
put faster proof methods first
Wed, 30 Jul 2014 23:52:56 +0200 use parallel preplay machinery also for one-line proofs
blanchet [Wed, 30 Jul 2014 23:52:56 +0200] rev 57723
use parallel preplay machinery also for one-line proofs
Wed, 30 Jul 2014 23:52:56 +0200 updated docs
blanchet [Wed, 30 Jul 2014 23:52:56 +0200] rev 57722
updated docs
Wed, 30 Jul 2014 23:52:56 +0200 always minimize Sledgehammer results by default
blanchet [Wed, 30 Jul 2014 23:52:56 +0200] rev 57721
always minimize Sledgehammer results by default
Wed, 30 Jul 2014 23:52:56 +0200 tuned ML function name
blanchet [Wed, 30 Jul 2014 23:52:56 +0200] rev 57720
tuned ML function name
Wed, 30 Jul 2014 23:52:56 +0200 reduced preplay timeout to 1 s
blanchet [Wed, 30 Jul 2014 23:52:56 +0200] rev 57719
reduced preplay timeout to 1 s
Wed, 30 Jul 2014 23:52:56 +0200 added more proof methods for one-liners
blanchet [Wed, 30 Jul 2014 23:52:56 +0200] rev 57718
added more proof methods for one-liners
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip