# HG changeset patch
# User bulwahn
# Date 1326188919 -3600
# Node ID 1b2e882f42d2f12146d614c359dc47d775bc4f98
# Parent  321abd5845888eca0198a4f9aef3822cb86425e9
NEWS

diff -r 321abd584588 -r 1b2e882f42d2 NEWS
--- a/NEWS	Tue Jan 10 10:18:08 2012 +0100
+++ b/NEWS	Tue Jan 10 10:48:39 2012 +0100
@@ -243,6 +243,8 @@
 produces a rule which can be used to perform case distinction on both
 a list and a nat.
 
+* Improved code generation of multisets.
+
 * Quickcheck:
   - Quickcheck returns variable assignments as counterexamples, which
     allows to reveal the underspecification of functions under test.
@@ -262,7 +264,9 @@
     value generators for a given type and operations.
     It generates values by using the operations as if they were
     constructors of that type. 
-  
+
+  - Support for multisets.
+
 * Nitpick:
   - Fixed infinite loop caused by the 'peephole_optim' option and
     affecting 'rat' and 'real'.