changeset 66478 | 439296f00ab5 |
parent 66475 | d8e0fd64216f |
child 66601 | af3cf2c859c1 |
--- 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: