| Fri, 16 Apr 2010 16:08:43 +0200 | blanchet | reorganize Sledgehammer's relevance filter slightly | changeset | files |
| Fri, 16 Apr 2010 15:59:53 +0200 | blanchet | tell the user that Sledgehammer kills its siblings | changeset | files |
| Fri, 16 Apr 2010 22:52:49 +0200 | wenzelm | updated keywords; | changeset | files |