ANNOUNCE
author wenzelm
Wed Oct 02 17:09:12 2013 +0200 (2013-10-02)
changeset 54034 07844b536810
parent 53978 65c893e0849f
child 54051 cdba71c67860
permissions -rw-r--r--
some highlights of Isabelle2013-1 based on NEWS;
     1 Subject: Announcing Isabelle2013-1
     2 To: isabelle-users@cl.cam.ac.uk
     3 
     4 Isabelle2013-1 is now available.
     5 
     6 This version consolidates Isabelle2013 and introduces numerous
     7 improvements, see the NEWS file in the distribution for more details.
     8 Some highlights are:
     9 
    10 * Improved Isabelle/jEdit Prover IDE.
    11 
    12 * Consolidated multi-platform support: Linux, Windows, Mac OS X.
    13 
    14 * New and updated manuals: datatypes, isar-ref, implementation, jedit.
    15 
    16 * New Spec_Check: Quickcheck tool for Isabelle/ML.
    17 
    18 * HOL tool enhancements: Codegenerator, Function, Lifting, Transfer,
    19   Nitpick, Sledgehammer,
    20 
    21 * HOL library enhancements: HOL-Library, HOL-Multivariate_Analysis.
    22 
    23 * HOL: improved BNF-based (co)datatype package.
    24 
    25 
    26 You may get Isabelle2013-1 from the following mirror sites:
    27 
    28   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    29   Munich (Germany)     http://isabelle.in.tum.de/
    30   Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/