ANNOUNCE
changeset 60125 2944cc4f4f56
parent 60119 54bea620e54f
child 62016 740c70a21523
     1.1 --- a/ANNOUNCE	Fri Apr 17 20:53:15 2015 +0200
     1.2 +++ b/ANNOUNCE	Fri Apr 17 22:15:35 2015 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  * Improved Isabelle/jEdit Prover IDE: folding / bracket matching for Isar,
     1.6  support for BibTeX files, improved graphview panel, improved scheduling for
     1.7 -asynchronous print commands (e.g. Slegehammer provers).
     1.8 +asynchronous print commands (e.g. Sledgehammer provers).
     1.9  
    1.10  * Support for 'private' and 'qualified' name space modifiers.
    1.11