Fri, 14 May 2010 23:16:33 +0200 | blanchet | document Nitpick changes | changeset | files |
Fri, 14 May 2010 22:43:24 +0200 | blanchet | merge | changeset | files |
Fri, 14 May 2010 22:43:00 +0200 | blanchet | added Sledgehammer manual; | changeset | files |
Fri, 14 May 2010 22:30:24 +0200 | blanchet | renamed Sledgehammer options | changeset | files |
Fri, 14 May 2010 22:29:50 +0200 | blanchet | renamed options | changeset | files |
Fri, 14 May 2010 22:28:39 +0200 | blanchet | remove support for crashing beta solver HaifaSat | changeset | files |
Fri, 14 May 2010 16:15:10 +0200 | blanchet | renamed two Sledgehammer options | changeset | files |