diff -r c9760373aa0f -r 2944cc4f4f56 ANNOUNCE
--- a/ANNOUNCE	Fri Apr 17 20:53:15 2015 +0200
+++ b/ANNOUNCE	Fri Apr 17 22:15:35 2015 +0200
@@ -8,7 +8,7 @@
 
 * Improved Isabelle/jEdit Prover IDE: folding / bracket matching for Isar,
 support for BibTeX files, improved graphview panel, improved scheduling for
-asynchronous print commands (e.g. Slegehammer provers).
+asynchronous print commands (e.g. Sledgehammer provers).
 
 * Support for 'private' and 'qualified' name space modifiers.