tuned;
authorwenzelm
Thu Oct 03 16:09:47 2013 +0200 (2013-10-03)
changeset 54051cdba71c67860
parent 54050 48c800d8ba2d
child 54052 797ae756d64d
tuned;
ANNOUNCE
CONTRIBUTORS
README
     1.1 --- a/ANNOUNCE	Thu Oct 03 12:34:32 2013 +0200
     1.2 +++ b/ANNOUNCE	Thu Oct 03 16:09:47 2013 +0200
     1.3 @@ -7,20 +7,21 @@
     1.4  improvements, see the NEWS file in the distribution for more details.
     1.5  Some highlights are:
     1.6  
     1.7 -* Improved Isabelle/jEdit Prover IDE.
     1.8 +* Significantly improved Isabelle/jEdit Prover IDE.
     1.9  
    1.10  * Consolidated multi-platform support: Linux, Windows, Mac OS X.
    1.11  
    1.12 -* New and updated manuals: datatypes, isar-ref, implementation, jedit.
    1.13 +* Added and updated manuals: datatypes, implementation, isar-ref, jedit.
    1.14  
    1.15 -* New Spec_Check: Quickcheck tool for Isabelle/ML.
    1.16 +* New Spec_Check tool: Quickcheck for Isabelle/ML.
    1.17 +
    1.18 +* HOL library enhancements: Complex_Main, HOL-Library,
    1.19 +  HOL-Multivariate_Analysis.
    1.20  
    1.21  * HOL tool enhancements: Codegenerator, Function, Lifting, Transfer,
    1.22    Nitpick, Sledgehammer,
    1.23  
    1.24 -* HOL library enhancements: HOL-Library, HOL-Multivariate_Analysis.
    1.25 -
    1.26 -* HOL: improved BNF-based (co)datatype package.
    1.27 +* HOL-BNF: significantly improved BNF-based (co)datatype package.
    1.28  
    1.29  
    1.30  You may get Isabelle2013-1 from the following mirror sites:
     2.1 --- a/CONTRIBUTORS	Thu Oct 03 12:34:32 2013 +0200
     2.2 +++ b/CONTRIBUTORS	Thu Oct 03 16:09:47 2013 +0200
     2.3 @@ -19,6 +19,10 @@
     2.4    Generation of elimination rules in the function package.
     2.5    New command "fun_cases".
     2.6  
     2.7 +* Summer 2013: Christian Sternagel, JAIST
     2.8 +  Improved support for ad hoc overloading of constants, including
     2.9 +  documentation and examples.
    2.10 +
    2.11  * Spring and Summer 2013: Lorenz Panny, Dmitriy Traytel, and
    2.12    Jasmin Blanchette, TUM
    2.13    Various improvements to BNF-based (co)datatype package, including
    2.14 @@ -29,7 +33,7 @@
    2.15  
    2.16  * Spring 2013: Brian Huffman, Galois Inc.
    2.17    Improvements of the Transfer package.
    2.18 -  
    2.19 +
    2.20  * Summer 2013: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
    2.21    Jasmin Blanchette, TUM
    2.22    Various improvements to MaSh, including a server mode.
    2.23 @@ -37,10 +41,6 @@
    2.24  * First half of 2013: Steffen Smolka, TUM
    2.25    Further improvements to Sledgehammer's Isar proof generator.
    2.26  
    2.27 -* Summer 2013: Christian Sternagel, JAIST
    2.28 -  Improved support for ad hoc overloading of constants, including
    2.29 -  documentation and examples.
    2.30 -
    2.31  * May 2013: Florian Haftmann, TUM
    2.32    Ephemeral interpretation in local theories.
    2.33  
     3.1 --- a/README	Thu Oct 03 12:34:32 2013 +0200
     3.2 +++ b/README	Thu Oct 03 16:09:47 2013 +0200
     3.3 @@ -14,8 +14,8 @@
     3.4     include sources, documentation, and add-on tools for all supported
     3.5     platforms.
     3.6  
     3.7 -   Some background information may be found in the Isabelle System
     3.8 -   Manual (directory doc).
     3.9 +   Some technical background information may be found in the Isabelle
    3.10 +   System Manual (directory doc).
    3.11  
    3.12  User interfaces
    3.13