| Thu, 18 Aug 2011 17:00:15 +0200 | bulwahn | adding documentation about simps equation in the inductive package | changeset | files |
| 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 |
| Thu, 18 Aug 2011 17:30:47 +0200 | wenzelm | updated sequential version (cf. b94951f06e48); | changeset | files |
| Thu, 18 Aug 2011 16:07:58 +0200 | wenzelm | tuned comments; | changeset | files |
| Thu, 18 Aug 2011 15:51:34 +0200 | wenzelm | tuned document; | changeset | files |