ANNOUNCE
changeset 44975 f80d918f8ac0
parent 44801 a0459c50cfc9
child 47462 8f85051693d1
equal deleted inserted replaced
44974:7762718f5e89 44975:f80d918f8ac0
     1 Subject: Announcing Isabelle2011-1
     1 Subject: Announcing Isabelle2011-1
     2 To: isabelle-users@cl.cam.ac.uk
     2 To: isabelle-users@cl.cam.ac.uk
     3 
     3 
     4 Isabelle2011-1 is now available.
     4 Isabelle2011-1 is now available.
     5 
     5 
     6 This version improves upon Isabelle2011, see the NEWS file in the
     6 This version significantly improves upon Isabelle2011, see the NEWS
     7 distribution for more details.  Some important changes are:
     7 file in the distribution for more details.  Some notable changes are:
     8 
     8 
     9 * FIXME
     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.
    10 
    24 
    11 
    25 
    12 You may get Isabelle2011-1 from the following mirror sites:
    26 You may get Isabelle2011-1 from the following mirror sites:
    13 
    27 
    14   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    28   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/