1.1 --- a/ANNOUNCE	Fri Jul 04 14:52:05 2014 +0200
     1.2 +++ b/ANNOUNCE	Fri Jul 04 14:58:52 2014 +0200
     1.3 @@ -25,8 +25,8 @@
     1.4  * HOL: updated SMT module, with support for SMT-LIB 2 and recent
     1.5    versions of Z3, as well as CVC3, CVC4.
     1.6  
     1.7 -* HOL: numerous library enhancements: Main, HOL-Multivariate_Analysis,
     1.8 -  HOL-Probability.
     1.9 +* HOL: numerous library enhancements: main HOL, HOL-Word,
    1.10 +  HOL-Multivariate_Analysis, HOL-Probability.
    1.11  
    1.12  * System integration: improved support of LateX on Windows platform.
    1.13