# 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.