# HG changeset patch
# User wenzelm
# Date 1316354378 -7200
# Node ID f80d918f8ac09aa92f3c8566c95a28260fef23a0
# Parent  7762718f5e899ac82fa223fe0a5f091ab760d23b
tentative announcement based on current NEWS;

diff -r 7762718f5e89 -r f80d918f8ac0 ANNOUNCE
--- a/ANNOUNCE	Sun Sep 18 15:57:36 2011 +0200
+++ b/ANNOUNCE	Sun Sep 18 15:59:38 2011 +0200
@@ -3,10 +3,24 @@
 
 Isabelle2011-1 is now available.
 
-This version improves upon Isabelle2011, see the NEWS file in the
-distribution for more details.  Some important changes are:
+This version significantly improves upon Isabelle2011, see the NEWS
+file in the distribution for more details.  Some notable changes are:
+
+* Significantly improved Isabelle/jEdit Prover IDE (PIDE).
+
+* Improved system integration with Isabelle/Scala: YXML data encoding.
+
+* Improved parallel performance and scalability.
 
-* FIXME
+* Improved document preparation: embedded rail-road diagrams.
+
+* HOL tool enhancements: Quickcheck, Nitpick, Sledgehammer, SMT/Z3
+  integration.
+
+* Numerous HOL library improvements: main HOL, HOLCF, HOL-Library,
+  Multivariate_Analysis, Probability.
+
+* Updated and extended Isabelle/Isar reference manual.
 
 
 You may get Isabelle2011-1 from the following mirror sites: