| Thu, 18 Aug 2011 12:06:17 +0200 | bulwahn | activating narrowing-based quickcheck by default | changeset | files |
| Thu, 18 Aug 2011 18:07:40 +0200 | wenzelm | more precise treatment of exception nesting and serial numbers; | changeset | files |
| Thu, 18 Aug 2011 17:53:32 +0200 | wenzelm | more careful treatment of exception serial numbers, with propagation to message channel; | changeset | files |