# HG changeset patch
# User wenzelm
# Date 1359124321 -3600
# Node ID 4f89c21ca5670f4c294b47d2986ac5636ea1da83
# Parent  7d0c5799e16c3eedd66cd32fddb5426f471b16ab
updated for release;

diff -r 7d0c5799e16c -r 4f89c21ca567 ANNOUNCE
--- a/ANNOUNCE	Fri Jan 25 15:28:43 2013 +0100
+++ b/ANNOUNCE	Fri Jan 25 15:32:01 2013 +0100
@@ -7,7 +7,21 @@
 improvements, see the NEWS file in the distribution for more details.
 Some highlights are:
 
-* FIXME
+* Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
+
+* Advanced build tool based on Isabelle/Scala.
+
+* Updated manuals: isar-ref, implementation, system.
+
+* Pure: improved support for block-structured specification contexts.
+
+* HOL tool enhancements: Sledgehammer, Lifting, Quickcheck.
+
+* HOL library enhancements: HOL-Library, HOL-Probability, HOL-Cardinals.
+
+* HOL: New BNF-based (co)datatype package.
+
+* Improved performance thanks to Poly/ML 5.5.0.
 
 
 You may get Isabelle2013 from the following mirror sites: