isabelle: Changelog

blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43035

minor update

blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43034

try both "metis" and (on failure) "metisFT" in replay

blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43033

show time taken for reconstruction

blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43032

unbreak "max_potential" logic

blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43031

more concise output

blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43030

compile

blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43029

use helpers and tweak Quickcheck's priority to it comes second (to give Solve Direct slightly more time before another prover runs)

blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43028

repaired theory merging and defined/used helpers

blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43027

make Sledgehammer a little bit less verbose in "try"

blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43026

handle non-auto try cases gracefully in Try Methods

isabelle