NEWS
changeset 50034 c48b9b9f796d
parent 50020 6b9611abcd4c
child 50110 c933c635843a
     1.1 --- a/NEWS	Thu Nov 08 19:55:17 2012 +0100
     1.2 +++ b/NEWS	Thu Nov 08 19:55:19 2012 +0100
     1.3 @@ -207,6 +207,9 @@
     1.4  * Simproc "finite_Collect" rewrites set comprehensions into pointfree
     1.5  expressions.
     1.6  
     1.7 +* Preprocessing of the code generator rewrites set comprehensions into
     1.8 +pointfree expressions.
     1.9 +
    1.10  * Quickcheck:
    1.11  
    1.12    - added an optimisation for equality premises.