tuned spelling;
authorwenzelm
Fri Apr 17 22:15:35 2015 +0200 (2015-04-17)
changeset 601252944cc4f4f56
parent 60124 c9760373aa0f
child 60127 b758c9937160
tuned spelling;
ANNOUNCE
     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