isabelle: Changelog

blanchet [Sat, 11 Sep 2010 12:31:05 +0200] rev 39326

tuning

blanchet [Sat, 11 Sep 2010 12:30:50 +0200] rev 39325

tuning

blanchet [Sat, 11 Sep 2010 10:35:00 +0200] rev 39324

finished renaming "Auto_Counterexample" to "Auto_Tools"

blanchet [Sat, 11 Sep 2010 10:28:44 +0200] rev 39323

start renaming "Auto_Counterexample" to "Auto_Tools"; Auto Sledgehammer now uses so the name is clearly wrong

blanchet [Sat, 11 Sep 2010 10:25:27 +0200] rev 39322

setup Auto Sledgehammer

blanchet [Sat, 11 Sep 2010 10:24:57 +0200] rev 39321

make Mirabelle happy

blanchet [Sat, 11 Sep 2010 10:24:13 +0200] rev 39320

added Auto Sledgehammer docs

blanchet [Sat, 11 Sep 2010 10:22:52 +0200] rev 39319

change order of default ATPs; put SPASS first so that it's picked up by Auto Sledgehammer

blanchet [Sat, 11 Sep 2010 10:21:52 +0200] rev 39318

implemented Auto Sledgehammer

blanchet [Sat, 11 Sep 2010 10:20:48 +0200] rev 39317

document changes to Auto Nitpick

isabelle