changeset 47349 | 803729c9fd4d |
parent 47270 | 2511f3e84496 |
child 47397 | d654c73e4b12 |
--- a/NEWS Wed Apr 04 12:22:51 2012 +0200 +++ b/NEWS Wed Apr 04 14:08:24 2012 +0200 @@ -422,7 +422,9 @@ - Support for multisets. - Added "use_subtype" options. - + - Added "quickcheck_locale" configuration to specify how to process + conjectures in a locale context. + * Nitpick: - Fixed infinite loop caused by the 'peephole_optim' option and affecting 'rat' and 'real'.