some highlights of Isabelle2013-1 based on NEWS;
authorwenzelm
Wed Oct 02 17:09:12 2013 +0200 (2013-10-02)
changeset 5403407844b536810
parent 54033 955c6549b3cb
child 54035 6332f6fae391
some highlights of Isabelle2013-1 based on NEWS;
ANNOUNCE
     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 +* New and updated manuals: datatypes, isar-ref, implementation, jedit.
    1.18 +
    1.19 +* New Spec_Check: Quickcheck tool for Isabelle/ML.
    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  
    1.28  
    1.29 -You may get Isabelle2013 from the following mirror sites:
    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/