ANNOUNCE
changeset 67152 8021ea06aad8
parent 66601 af3cf2c859c1
child 68391 9b4f60bdad54
     1.1 --- a/ANNOUNCE	Sun Sep 03 16:35:34 2017 +0200
     1.2 +++ b/ANNOUNCE	Wed Dec 06 21:43:20 2017 +0100
     1.3 @@ -21,6 +21,8 @@
     1.4  * More material in HOL-Algebra, HOL-Computational_Algebra and HOL-Analysis
     1.5  (ported from HOL-Light).
     1.6  
     1.7 +* Improved Nunchaku model finder, now in main HOL.
     1.8 +
     1.9  * SQL database support in Isabelle/Scala.
    1.10  
    1.11