ANNOUNCE
author wenzelm
Thu Oct 03 16:09:47 2013 +0200 (2013-10-03)
changeset 54051 cdba71c67860
parent 54034 07844b536810
child 54054 c37100233af7
permissions -rw-r--r--
tuned;
     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 * Significantly improved Isabelle/jEdit Prover IDE.
    11 
    12 * Consolidated multi-platform support: Linux, Windows, Mac OS X.
    13 
    14 * Added and updated manuals: datatypes, implementation, isar-ref, jedit.
    15 
    16 * New Spec_Check tool: Quickcheck for Isabelle/ML.
    17 
    18 * HOL library enhancements: Complex_Main, HOL-Library,
    19   HOL-Multivariate_Analysis.
    20 
    21 * HOL tool enhancements: Codegenerator, Function, Lifting, Transfer,
    22   Nitpick, Sledgehammer,
    23 
    24 * HOL-BNF: significantly improved BNF-based (co)datatype package.
    25 
    26 
    27 You may get Isabelle2013-1 from the following mirror sites:
    28 
    29   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    30   Munich (Germany)     http://isabelle.in.tum.de/
    31   Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/