--- 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: