Thu, 01 Sep 2016 11:41:10 +0200 | blanchet | make workaround possible for Quickcheck with nesting | changeset | files |
Tue, 30 Aug 2016 16:39:47 +0200 | blanchet | tuned docs | changeset | files |
Tue, 30 Aug 2016 16:39:47 +0200 | blanchet | tuned final stop in message | changeset | files |