equal
deleted
inserted
replaced
420 constructors of that type. |
420 constructors of that type. |
421 |
421 |
422 - Support for multisets. |
422 - Support for multisets. |
423 |
423 |
424 - Added "use_subtype" options. |
424 - Added "use_subtype" options. |
425 |
425 - Added "quickcheck_locale" configuration to specify how to process |
|
426 conjectures in a locale context. |
|
427 |
426 * Nitpick: |
428 * Nitpick: |
427 - Fixed infinite loop caused by the 'peephole_optim' option and |
429 - Fixed infinite loop caused by the 'peephole_optim' option and |
428 affecting 'rat' and 'real'. |
430 affecting 'rat' and 'real'. |
429 |
431 |
430 * Sledgehammer: |
432 * Sledgehammer: |