| Wed, 09 Nov 2011 11:34:59 +0100 | bulwahn | quickcheck fails with code generator errors only if one tester is invoked | changeset | files |
| Wed, 09 Nov 2011 11:34:57 +0100 | bulwahn | removing extra arguments | changeset | files |
| Wed, 09 Nov 2011 11:34:55 +0100 | bulwahn | removing deactivated timeout handling; catching compilation errors and only outputing an urgent message to enable parallel sucessful quickcheck compilations and runs to present their result | changeset | files |
| Wed, 09 Nov 2011 11:34:53 +0100 | bulwahn | tuned | changeset | files |
| Wed, 09 Nov 2011 14:47:38 +1100 | kleing | more fragments to export, removed the one from Com | changeset | files |
| Tue, 08 Nov 2011 22:38:56 +0100 | wenzelm | updated functor Named_Thms; | changeset | files |
| Tue, 08 Nov 2011 22:22:59 +0100 | wenzelm | disabled Thm.compress (again) -- costs for building tables tend to be higher than potential benefit; | changeset | files |