| 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 |
| Fri, 16 Apr 2010 22:45:07 +0200 | wenzelm | replaced old Sign.add_tyabbrs(_i) by Sign.add_type_abbrev (without mixfix); | changeset | files |