# HG changeset patch
# User wenzelm
# Date 1504861796 -7200
# Node ID c61c957b04394bbea59da7615b5bc81a0f425432
# Parent  6a3cefd026fbb1cec0c27c2a95956cae5681e084
updated for release;

diff -r 6a3cefd026fb -r c61c957b0439 ANNOUNCE
--- a/ANNOUNCE	Fri Sep 08 02:22:58 2017 +0200
+++ b/ANNOUNCE	Fri Sep 08 11:09:56 2017 +0200
@@ -21,6 +21,8 @@
 * More material in HOL-Algebra, HOL-Computational_Algebra and HOL-Analysis
 (ported from HOL-Light).
 
+* Improved Nunchaku model finder, now in main HOL.
+
 * SQL database support in Isabelle/Scala.