ANNOUNCE

--- a/ANNOUNCE	Mon Aug 21 17:31:03 2017 +0200
+++ b/ANNOUNCE	Mon Aug 21 17:35:59 2017 +0200
@@ -18,7 +18,10 @@
 
 * Numerous HOL library improvements.
 
-* More material in HOL-Algebra, and HOL-Analysis (ported from HOL-Light).
+* More material in HOL-Algebra, HOL-Computational_Algebra and HOL-Analysis
+(ported from HOL-Light).
+
+* SQL database support in Isabelle/Scala.
 
 
 You may get Isabelle2017 from the following mirror sites: