| Fri, 29 Oct 2010 08:44:46 +0200 | bulwahn | NEWS | changeset | files |
| Fri, 29 Oct 2010 08:44:44 +0200 | bulwahn | changed global fixed timeout to a configurable timeout for quickcheck; test parameters in quickcheck are now fully passed around with the context | changeset | files |
| Fri, 29 Oct 2010 08:44:43 +0200 | bulwahn | updating documentation on quickcheck in the Isar reference | changeset | files |
| Thu, 28 Oct 2010 18:36:34 +0200 | bulwahn | merged | changeset | files |
| Thu, 28 Oct 2010 17:28:45 +0200 | bulwahn | adding a simple check to only run with a SWI-Prolog version known to work | changeset | files |
| Thu, 28 Oct 2010 23:54:39 +0200 | wenzelm | tuned messages; | changeset | files |
| Thu, 28 Oct 2010 23:19:52 +0200 | wenzelm | discontinued obsolete ML antiquotation @{theory_ref}; | changeset | files |