ANNOUNCE
changeset 53978 65c893e0849f
parent 51051 4f89c21ca567
child 54034 07844b536810
     1.1 --- a/ANNOUNCE	Sun Sep 29 11:59:01 2013 +0200
     1.2 +++ b/ANNOUNCE	Sun Sep 29 12:17:02 2013 +0200
     1.3 @@ -1,27 +1,13 @@
     1.4 -Subject: Announcing Isabelle2013
     1.5 +Subject: Announcing Isabelle2013-1
     1.6  To: isabelle-users@cl.cam.ac.uk
     1.7  
     1.8 -Isabelle2013 is now available.
     1.9 +Isabelle2013-1 is now available.
    1.10  
    1.11 -This version consolidates Isabelle2012 and introduces numerous
    1.12 +This version consolidates Isabelle2013-1 and introduces numerous
    1.13  improvements, see the NEWS file in the distribution for more details.
    1.14  Some highlights are:
    1.15  
    1.16 -* Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
    1.17 -
    1.18 -* Advanced build tool based on Isabelle/Scala.
    1.19 -
    1.20 -* Updated manuals: isar-ref, implementation, system.
    1.21 -
    1.22 -* Pure: improved support for block-structured specification contexts.
    1.23 -
    1.24 -* HOL tool enhancements: Sledgehammer, Lifting, Quickcheck.
    1.25 -
    1.26 -* HOL library enhancements: HOL-Library, HOL-Probability, HOL-Cardinals.
    1.27 -
    1.28 -* HOL: New BNF-based (co)datatype package.
    1.29 -
    1.30 -* Improved performance thanks to Poly/ML 5.5.0.
    1.31 +* FIXME
    1.32  
    1.33  
    1.34  You may get Isabelle2013 from the following mirror sites: