ANNOUNCE
changeset 51051 4f89c21ca567
parent 50991 b3c6c9ef11b8
child 53978 65c893e0849f
     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: