| Mon, 01 Oct 2007 22:29:58 +0200 | wenzelm | fixed use_text; | changeset | files |
| Mon, 01 Oct 2007 22:29:56 +0200 | wenzelm | downgraded IntInf with divMod; | changeset | files |
| Mon, 01 Oct 2007 21:19:54 +0200 | wenzelm | added auto-quickcheck-time-limit; | changeset | files |