Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
authorbulwahn
Thu, 08 Nov 2012 19:55:19 +0100
changeset 50034 c48b9b9f796d
parent 50033 c78f9cddc907
child 50035 4d17291eb19c
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- 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