ANNOUNCE
changeset 47462 8f85051693d1
parent 44975 f80d918f8ac0
child 47869 fa59eb662e6c
     1.1 --- a/ANNOUNCE	Sat Apr 14 12:36:11 2012 +0200
     1.2 +++ b/ANNOUNCE	Sat Apr 14 12:46:45 2012 +0200
     1.3 @@ -1,29 +1,15 @@
     1.4 -Subject: Announcing Isabelle2011-1
     1.5 +Subject: Announcing Isabelle2012
     1.6  To: isabelle-users@cl.cam.ac.uk
     1.7  
     1.8 -Isabelle2011-1 is now available.
     1.9 +Isabelle2012 is now available.
    1.10  
    1.11 -This version significantly improves upon Isabelle2011, see the NEWS
    1.12 +This version significantly improves upon Isabelle2011-1, see the NEWS
    1.13  file in the distribution for more details.  Some notable changes are:
    1.14  
    1.15 -* Significantly improved Isabelle/jEdit Prover IDE (PIDE).
    1.16 -
    1.17 -* Improved system integration with Isabelle/Scala: YXML data encoding.
    1.18 -
    1.19 -* Improved parallel performance and scalability.
    1.20 -
    1.21 -* Improved document preparation: embedded rail-road diagrams.
    1.22 -
    1.23 -* HOL tool enhancements: Quickcheck, Nitpick, Sledgehammer, SMT/Z3
    1.24 -  integration.
    1.25 -
    1.26 -* Numerous HOL library improvements: main HOL, HOLCF, HOL-Library,
    1.27 -  Multivariate_Analysis, Probability.
    1.28 -
    1.29 -* Updated and extended Isabelle/Isar reference manual.
    1.30 +* FIXME
    1.31  
    1.32  
    1.33 -You may get Isabelle2011-1 from the following mirror sites:
    1.34 +You may get Isabelle2012 from the following mirror sites:
    1.35  
    1.36    Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    1.37    Munich (Germany)     http://isabelle.in.tum.de/