Mon, 25 Oct 2010 13:34:57 +0200 | haftmann | moved sledgehammer to Plain; tuned dependencies | changeset | files |
Mon, 25 Oct 2010 13:34:57 +0200 | haftmann | CONTRIBUTORS | changeset | files |
Mon, 25 Oct 2010 12:24:38 +0200 | blanchet | merge | changeset | files |
Mon, 25 Oct 2010 11:42:05 +0200 | blanchet | merged | changeset | files |
Mon, 25 Oct 2010 10:38:41 +0200 | blanchet | updated keywords | changeset | files |
Mon, 25 Oct 2010 10:30:46 +0200 | blanchet | introduced manual version of "Auto Solve" as "solve_direct" | changeset | files |
Mon, 25 Oct 2010 09:29:43 +0200 | blanchet | make "sledgehammer_params" work on single-threaded platforms | changeset | files |