# HG changeset patch
# User wenzelm
# Date 1451663404 -3600
# Node ID e18444532fce734c2508ccffd84a4b9f166901e3
# Parent  2ecee4679f9936f8aaaf4abd624e2591d884aec8
tuned;

diff -r 2ecee4679f99 -r e18444532fce ANNOUNCE
--- 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: