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