tentative announcement based on current NEWS;
authorwenzelm
Sun Sep 18 15:59:38 2011 +0200 (2011-09-18)
changeset 44975f80d918f8ac0
parent 44974 7762718f5e89
child 44976 a75936954fac
tentative announcement based on current NEWS;
ANNOUNCE
     1.1 --- a/ANNOUNCE	Sun Sep 18 15:57:36 2011 +0200
     1.2 +++ b/ANNOUNCE	Sun Sep 18 15:59:38 2011 +0200
     1.3 @@ -3,10 +3,24 @@
     1.4  
     1.5  Isabelle2011-1 is now available.
     1.6  
     1.7 -This version improves upon Isabelle2011, see the NEWS file in the
     1.8 -distribution for more details.  Some important changes are:
     1.9 +This version significantly improves upon Isabelle2011, see the NEWS
    1.10 +file in the distribution for more details.  Some notable changes are:
    1.11 +
    1.12 +* Significantly improved Isabelle/jEdit Prover IDE (PIDE).
    1.13 +
    1.14 +* Improved system integration with Isabelle/Scala: YXML data encoding.
    1.15 +
    1.16 +* Improved parallel performance and scalability.
    1.17  
    1.18 -* FIXME
    1.19 +* Improved document preparation: embedded rail-road diagrams.
    1.20 +
    1.21 +* HOL tool enhancements: Quickcheck, Nitpick, Sledgehammer, SMT/Z3
    1.22 +  integration.
    1.23 +
    1.24 +* Numerous HOL library improvements: main HOL, HOLCF, HOL-Library,
    1.25 +  Multivariate_Analysis, Probability.
    1.26 +
    1.27 +* Updated and extended Isabelle/Isar reference manual.
    1.28  
    1.29  
    1.30  You may get Isabelle2011-1 from the following mirror sites: