| Mon, 01 Oct 2007 21:19:53 +0200 | wenzelm | auto_quickcheck: pervasive options, turned time_limit into plain int, simplified exception handling; | changeset | files |
| Mon, 01 Oct 2007 21:19:52 +0200 | wenzelm | added auto_quickcheck feature; | changeset | files |
| Mon, 01 Oct 2007 21:19:50 +0200 | wenzelm | Norbert Schirmer: record improvements; | changeset | files |