updated for release;
authorwenzelm
Wed Apr 10 16:15:45 2019 +0200 (9 months ago)
changeset 70107491453ea09bb
parent 70106 55220f2d09d2
child 70108 77f978dd8ffb
updated for release;
ANNOUNCE
     1.1 --- a/ANNOUNCE	Wed Apr 10 15:45:16 2019 +0200
     1.2 +++ b/ANNOUNCE	Wed Apr 10 16:15:45 2019 +0200
     1.3 @@ -18,7 +18,8 @@
     1.4  
     1.5  * HOL: various syntax and library improvements.
     1.6  
     1.7 -* HOL-Analysis: more material and better organization.
     1.8 +* HOL libraries: better organization and much more material in HOL-Algebra,
     1.9 +HOL-Analysis, HOL-Homology.
    1.10  
    1.11  * Isabelle/ML environments for separate SML applications.
    1.12