ANNOUNCE
author wenzelm
Mon Mar 10 16:30:07 2014 +0100 (2014-03-10)
changeset 56029 8bedca4bd5a3
parent 54639 5adc68deb322
child 57452 ecad2a53755a
permissions -rw-r--r--
clarified Args.src: more abstract type, position refers to name only;
prefer self-contained Args.check_src;
     1 Subject: Announcing Isabelle2013-2
     2 To: isabelle-users@cl.cam.ac.uk
     3 
     4 Isabelle2013-2 is now available.
     5 
     6 This version supersedes Isabelle2013-1, which in turn consolidated
     7 Isabelle2013 and introduced numerous improvements.  See the NEWS file
     8 in the distribution for more details.  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-2 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/