ANNOUNCE
author Cezary Kaliszyk <cezarykaliszyk@gmail.com>
Fri Feb 10 09:47:59 2012 +0100 (2012-02-10)
changeset 46448 f1201fac7398
parent 44975 f80d918f8ac0
child 47462 8f85051693d1
permissions -rw-r--r--
more specification of the quotient package in IsarRef
     1 Subject: Announcing Isabelle2011-1
     2 To: isabelle-users@cl.cam.ac.uk
     3 
     4 Isabelle2011-1 is now available.
     5 
     6 This version significantly improves upon Isabelle2011, see the NEWS
     7 file in the distribution for more details.  Some notable changes are:
     8 
     9 * Significantly improved Isabelle/jEdit Prover IDE (PIDE).
    10 
    11 * Improved system integration with Isabelle/Scala: YXML data encoding.
    12 
    13 * Improved parallel performance and scalability.
    14 
    15 * Improved document preparation: embedded rail-road diagrams.
    16 
    17 * HOL tool enhancements: Quickcheck, Nitpick, Sledgehammer, SMT/Z3
    18   integration.
    19 
    20 * Numerous HOL library improvements: main HOL, HOLCF, HOL-Library,
    21   Multivariate_Analysis, Probability.
    22 
    23 * Updated and extended Isabelle/Isar reference manual.
    24 
    25 
    26 You may get Isabelle2011-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/