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