Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 50034 c48b9b9f796d
parent 50020 6b9611abcd4c
child 50110 c933c635843a 
--- a/NEWS	Thu Nov 08 19:55:17 2012 +0100
+++ b/NEWS	Thu Nov 08 19:55:19 2012 +0100
@@ -207,6 +207,9 @@
 * Simproc "finite_Collect" rewrites set comprehensions into pointfree
 expressions.
 
+* Preprocessing of the code generator rewrites set comprehensions into
+pointfree expressions.
+
 * Quickcheck:
 
   - added an optimisation for equality premises.
isabelle