ANNOUNCE
changeset 62064 d9874039786e
parent 62029 e18444532fce
child 62084 969119292e25
     1.1 --- a/ANNOUNCE	Tue Jan 05 15:45:29 2016 +0100
     1.2 +++ b/ANNOUNCE	Tue Jan 05 15:53:17 2016 +0100
     1.3 @@ -20,8 +20,7 @@
     1.4  
     1.5  * HOL tool enhancements: Sledgehammer, Nitpick, Quickcheck, Transfer.
     1.6  
     1.7 -* Many HOL library improvements, including advanced topological concepts and
     1.8 -integration theory ported from HOL Light.
     1.9 +* Many HOL library improvements, notably HOL-Multivariate_Analysis.
    1.10  
    1.11  * Upgrade to Poly/ML 5.6 with debugger IDE support (Isabelle/ML and Standard
    1.12  ML), per-thread profiling, native Windows version (32bit and 64bit).