1.1 --- a/ANNOUNCE Fri Jan 25 15:28:43 2013 +0100
1.2 +++ b/ANNOUNCE Fri Jan 25 15:32:01 2013 +0100
1.3 @@ -7,7 +7,21 @@
1.4 improvements, see the NEWS file in the distribution for more details.
1.5 Some highlights are:
1.6
1.7 -* FIXME
1.8 +* Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
1.9 +
1.10 +* Advanced build tool based on Isabelle/Scala.
1.11 +
1.12 +* Updated manuals: isar-ref, implementation, system.
1.13 +
1.14 +* Pure: improved support for block-structured specification contexts.
1.15 +
1.16 +* HOL tool enhancements: Sledgehammer, Lifting, Quickcheck.
1.17 +
1.18 +* HOL library enhancements: HOL-Library, HOL-Probability, HOL-Cardinals.
1.19 +
1.20 +* HOL: New BNF-based (co)datatype package.
1.21 +
1.22 +* Improved performance thanks to Poly/ML 5.5.0.
1.23
1.24
1.25 You may get Isabelle2013 from the following mirror sites: