ANNOUNCE
changeset 54051 cdba71c67860
parent 54034 07844b536810
child 54054 c37100233af7
     1.1 --- a/ANNOUNCE	Thu Oct 03 12:34:32 2013 +0200
     1.2 +++ b/ANNOUNCE	Thu Oct 03 16:09:47 2013 +0200
     1.3 @@ -7,20 +7,21 @@
     1.4  improvements, see the NEWS file in the distribution for more details.
     1.5  Some highlights are:
     1.6  
     1.7 -* Improved Isabelle/jEdit Prover IDE.
     1.8 +* Significantly improved Isabelle/jEdit Prover IDE.
     1.9  
    1.10  * Consolidated multi-platform support: Linux, Windows, Mac OS X.
    1.11  
    1.12 -* New and updated manuals: datatypes, isar-ref, implementation, jedit.
    1.13 +* Added and updated manuals: datatypes, implementation, isar-ref, jedit.
    1.14  
    1.15 -* New Spec_Check: Quickcheck tool for Isabelle/ML.
    1.16 +* New Spec_Check tool: Quickcheck for Isabelle/ML.
    1.17 +
    1.18 +* HOL library enhancements: Complex_Main, HOL-Library,
    1.19 +  HOL-Multivariate_Analysis.
    1.20  
    1.21  * HOL tool enhancements: Codegenerator, Function, Lifting, Transfer,
    1.22    Nitpick, Sledgehammer,
    1.23  
    1.24 -* HOL library enhancements: HOL-Library, HOL-Multivariate_Analysis.
    1.25 -
    1.26 -* HOL: improved BNF-based (co)datatype package.
    1.27 +* HOL-BNF: significantly improved BNF-based (co)datatype package.
    1.28  
    1.29  
    1.30  You may get Isabelle2013-1 from the following mirror sites: