1.1 --- a/ANNOUNCE	Wed Oct 02 17:08:39 2013 +0200
     1.2 +++ b/ANNOUNCE	Wed Oct 02 17:09:12 2013 +0200
     1.3 @@ -3,14 +3,27 @@
     1.4  
     1.5  Isabelle2013-1 is now available.
     1.6  
     1.7 -This version consolidates Isabelle2013-1 and introduces numerous
     1.8 +This version consolidates Isabelle2013 and introduces numerous
     1.9  improvements, see the NEWS file in the distribution for more details.
    1.10  Some highlights are:
    1.11  
    1.12 -* FIXME
    1.13 +* Improved Isabelle/jEdit Prover IDE.
    1.14  
    1.15 +* Consolidated multi-platform support: Linux, Windows, Mac OS X.
    1.16  
    1.17 -You may get Isabelle2013 from the following mirror sites:
    1.18 +* New and updated manuals: datatypes, isar-ref, implementation, jedit.
    1.19 +
    1.20 +* New Spec_Check: Quickcheck tool for Isabelle/ML.
    1.21 +
    1.22 +* HOL tool enhancements: Codegenerator, Function, Lifting, Transfer,
    1.23 +  Nitpick, Sledgehammer,
    1.24 +
    1.25 +* HOL library enhancements: HOL-Library, HOL-Multivariate_Analysis.
    1.26 +
    1.27 +* HOL: improved BNF-based (co)datatype package.
    1.28 +
    1.29 +
    1.30 +You may get Isabelle2013-1 from the following mirror sites:
    1.31  
    1.32    Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    1.33    Munich (Germany)     http://isabelle.in.tum.de/