ANNOUNCE
changeset 54639 5adc68deb322
parent 54054 c37100233af7
child 57452 ecad2a53755a
     1.1 --- a/ANNOUNCE	Wed Nov 20 22:15:53 2013 +0100
     1.2 +++ b/ANNOUNCE	Wed Nov 20 23:00:18 2013 +0100
     1.3 @@ -1,11 +1,11 @@
     1.4 -Subject: Announcing Isabelle2013-1
     1.5 +Subject: Announcing Isabelle2013-2
     1.6  To: isabelle-users@cl.cam.ac.uk
     1.7  
     1.8 -Isabelle2013-1 is now available.
     1.9 +Isabelle2013-2 is now available.
    1.10  
    1.11 -This version consolidates Isabelle2013 and introduces numerous
    1.12 -improvements, see the NEWS file in the distribution for more details.
    1.13 -Some highlights are:
    1.14 +This version supersedes Isabelle2013-1, which in turn consolidated
    1.15 +Isabelle2013 and introduced numerous improvements.  See the NEWS file
    1.16 +in the distribution for more details.  Some highlights are:
    1.17  
    1.18  * Significantly improved Isabelle/jEdit Prover IDE.
    1.19  
    1.20 @@ -24,7 +24,7 @@
    1.21  * HOL-BNF: significantly improved BNF-based (co)datatype package.
    1.22  
    1.23  
    1.24 -You may get Isabelle2013-1 from the following mirror sites:
    1.25 +You may get Isabelle2013-2 from the following mirror sites:
    1.26  
    1.27    Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    1.28    Munich (Germany)     http://isabelle.in.tum.de/