tuned;
authorwenzelm
Fri Jan 01 16:50:04 2016 +0100 (2016-01-01)
changeset 62029e18444532fce
parent 62028 2ecee4679f99
child 62030 2b46a93e829c
tuned;
ANNOUNCE
     1.1 --- a/ANNOUNCE	Fri Jan 01 16:40:47 2016 +0100
     1.2 +++ b/ANNOUNCE	Fri Jan 01 16:50:04 2016 +0100
     1.3 @@ -18,13 +18,13 @@
     1.4  * Pure/HOL: uniform treatment of overloaded constant definitions versus type
     1.5  definitions; upgrade of HOL typedef to definitional principle.
     1.6  
     1.7 -* HOL tool enhancements: quickcheck, sledgehammer, nitpick, transfer.
     1.8 +* HOL tool enhancements: Sledgehammer, Nitpick, Quickcheck, Transfer.
     1.9  
    1.10  * Many HOL library improvements, including advanced topological concepts and
    1.11  integration theory ported from HOL Light.
    1.12  
    1.13 -* Upgrade to Poly/ML 5.6 with debugger IDE for Isabelle/ML and Standard ML,
    1.14 -per-thread profiling, native support for Windows (32bit and 64bit).
    1.15 +* Upgrade to Poly/ML 5.6 with debugger IDE support (Isabelle/ML and Standard
    1.16 +ML), per-thread profiling, native Windows version (32bit and 64bit).
    1.17  
    1.18  
    1.19  You may get Isabelle2016 from the following mirror sites: