# HG changeset patch
# User wenzelm
# Date 1429301735 -7200
# Node ID 2944cc4f4f56d84136dc63208b56c8f1de5216b3
# Parent  c9760373aa0f9a941d0e58d1432a823eaa14a0cc
tuned spelling;

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.