# HG changeset patch
# User wenzelm
# Date 1404478732 -7200
# Node ID 63e2163c4736c56c05da81d5cd5f38a31fde7a5b
# Parent  5cf245c62c4cabdd0b839cff927b92be341c7778
tuned;

diff -r 5cf245c62c4c -r 63e2163c4736 ANNOUNCE
--- a/ANNOUNCE	Fri Jul 04 14:52:05 2014 +0200
+++ b/ANNOUNCE	Fri Jul 04 14:58:52 2014 +0200
@@ -25,8 +25,8 @@
 * HOL: updated SMT module, with support for SMT-LIB 2 and recent
   versions of Z3, as well as CVC3, CVC4.
 
-* HOL: numerous library enhancements: Main, HOL-Multivariate_Analysis,
-  HOL-Probability.
+* HOL: numerous library enhancements: main HOL, HOL-Word,
+  HOL-Multivariate_Analysis, HOL-Probability.
 
 * System integration: improved support of LateX on Windows platform.