1.1 --- a/ANNOUNCE	Thu Oct 03 16:25:40 2013 +0200
     1.2 +++ b/ANNOUNCE	Thu Oct 03 16:32:33 2013 +0200
     1.3 @@ -19,7 +19,7 @@
     1.4    HOL-Multivariate_Analysis.
     1.5  
     1.6  * HOL tool enhancements: Codegenerator, Function, Lifting, Transfer,
     1.7 -  Nitpick, Sledgehammer,
     1.8 +  Nitpick, Sledgehammer.
     1.9  
    1.10  * HOL-BNF: significantly improved BNF-based (co)datatype package.
    1.11