updated for release;
authorwenzelm
Sun Sep 29 12:17:02 2013 +0200 (2013-09-29)
changeset 5397865c893e0849f
parent 53977 a7add756b9d2
child 53979 711104822c8e
updated for release;
ANNOUNCE
CONTRIBUTORS
README
     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:
     2.1 --- a/CONTRIBUTORS	Sun Sep 29 11:59:01 2013 +0200
     2.2 +++ b/CONTRIBUTORS	Sun Sep 29 12:17:02 2013 +0200
     2.3 @@ -16,7 +16,8 @@
     2.4  * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
     2.5    Jasmin Blanchette, TUM
     2.6    Various improvements to BNF-based (co)datatype package, including
     2.7 -  "primrec_new" and "primcorecursive" commands and a compatibility layer.
     2.8 +  "primrec_new" and "primcorecursive" commands and a compatibility
     2.9 +  layer.
    2.10  
    2.11  * Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
    2.12    Jasmin Blanchette, TUM
     3.1 --- a/README	Sun Sep 29 11:59:01 2013 +0200
     3.2 +++ b/README	Sun Sep 29 12:17:02 2013 +0200
     3.3 @@ -10,9 +10,9 @@
     3.4  Installation
     3.5  
     3.6     Isabelle works on the three main platform families: Linux, Windows,
     3.7 -   and Mac OS X.  The fully integrated application bundles from the
     3.8 -   Isabelle web page include sources, documentation, and add-on tools
     3.9 -   for all supported platforms.
    3.10 +   and Mac OS X.  The application bundles from the Isabelle web page
    3.11 +   include sources, documentation, and add-on tools for all supported
    3.12 +   platforms.
    3.13  
    3.14     Some background information may be found in the Isabelle System
    3.15     Manual (directory doc).