CONTRIBUTORS and NEWS
authorhaftmann
Thu Sep 23 09:53:52 2010 +0200 (2010-09-23)
changeset 39644ad436fa9fc5b
parent 39643 29cc021398fc
child 39645 6eb38a00ae47
child 39646 64fdbee67135
CONTRIBUTORS and NEWS
CONTRIBUTORS
NEWS
     1.1 --- a/CONTRIBUTORS	Thu Sep 23 08:30:33 2010 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Sep 23 09:53:52 2010 +0200
     1.3 @@ -6,11 +6,14 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* September 2010: Florian Haftmann, TUM
     1.8 +  Code generation for Scala.
     1.9 +
    1.10  * August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM
    1.11    Rewriting the Probability theory.
    1.12  
    1.13  * July 2010: Florian Haftmann, TUM
    1.14 -  Reworking and extension of the Isabelle/HOL framework.
    1.15 +  Reworking and extension of the Imperative HOL framework.
    1.16  
    1.17  
    1.18  Contributions to Isabelle2009-2
    1.19 @@ -86,7 +89,7 @@
    1.20    New quickcheck implementation using new code generator.
    1.21  
    1.22  * July 2009: Florian Haftmann, TUM
    1.23 -  HOL/Library/FSet: an explicit type of sets; finite sets ready to use
    1.24 +  HOL/Library/Fset: an explicit type of sets; finite sets ready to use
    1.25    for code generation.
    1.26  
    1.27  * June 2009: Florian Haftmann, TUM
     2.1 --- a/NEWS	Thu Sep 23 08:30:33 2010 +0200
     2.2 +++ b/NEWS	Thu Sep 23 09:53:52 2010 +0200
     2.3 @@ -74,12 +74,16 @@
     2.4  
     2.5  *** HOL ***
     2.6  
     2.7 +* Improved infrastructure for term evaluation using code generator
     2.8 +techniques, in particular static evaluation conversions.
     2.9 +
    2.10  * String.literal is a type, but not a datatype. INCOMPATIBILITY.
    2.11   
    2.12  * Renamed lemmas:
    2.13    expand_fun_eq -> fun_eq_iff
    2.14    expand_set_eq -> set_eq_iff
    2.15    set_ext -> set_eqI
    2.16 + INCOMPATIBILITY.
    2.17  
    2.18  * Renamed class eq and constant eq (for code generation) to class equal
    2.19  and constant equal, plus renaming of related facts and various tuning.