tuned;
authorwenzelm
Mon Aug 21 17:35:59 2017 +0200 (20 months ago)
changeset 66478439296f00ab5
parent 66477 7dccaa6d419a
child 66479 5c0a3f63057d
tuned;
ANNOUNCE
     1.1 --- a/ANNOUNCE	Mon Aug 21 17:31:03 2017 +0200
     1.2 +++ b/ANNOUNCE	Mon Aug 21 17:35:59 2017 +0200
     1.3 @@ -18,7 +18,10 @@
     1.4  
     1.5  * Numerous HOL library improvements.
     1.6  
     1.7 -* More material in HOL-Algebra, and HOL-Analysis (ported from HOL-Light).
     1.8 +* More material in HOL-Algebra, HOL-Computational_Algebra and HOL-Analysis
     1.9 +(ported from HOL-Light).
    1.10 +
    1.11 +* SQL database support in Isabelle/Scala.
    1.12  
    1.13  
    1.14  You may get Isabelle2017 from the following mirror sites: