isabelle: Changelog

blanchet [Tue, 23 Aug 2011 19:00:48 +0200] rev 44431

added "max_calls" option to get a fixed number of Sledgehammer calls per theory

blanchet [Tue, 23 Aug 2011 18:42:05 +0200] rev 44430

beef up "sledgehammer_tac" reconstructor

blanchet [Tue, 23 Aug 2011 18:42:05 +0200] rev 44429

clean up Sledgehammer tactic

wenzelm [Tue, 23 Aug 2011 17:44:31 +0200] rev 44428

fixed document;

wenzelm [Tue, 23 Aug 2011 17:43:06 +0200] rev 44427

tuned signature;

wenzelm [Tue, 23 Aug 2011 17:12:54 +0200] rev 44426

merged

blanchet [Tue, 23 Aug 2011 16:37:23 +0200] rev 44425

always use TFF if possible

blanchet [Tue, 23 Aug 2011 16:14:19 +0200] rev 44424

clearer separator in generated file names

blanchet [Tue, 23 Aug 2011 16:07:01 +0200] rev 44423

exploit TFF format in Z3 used as ATP, and renamed it "z3_tptp"

blanchet [Tue, 23 Aug 2011 15:50:27 +0200] rev 44422

updated known failures for Z3 3.0 TPTP

isabelle