Fri, 29 Oct 2010 08:44:49 +0200 adapting HOL-Mutabelle to changes in quickcheck
bulwahn [Fri, 29 Oct 2010 08:44:49 +0200] rev 40248
adapting HOL-Mutabelle to changes in quickcheck
Fri, 29 Oct 2010 08:44:46 +0200 NEWS
bulwahn [Fri, 29 Oct 2010 08:44:46 +0200] rev 40247
NEWS
Fri, 29 Oct 2010 08:44:44 +0200 changed global fixed timeout to a configurable timeout for quickcheck; test parameters in quickcheck are now fully passed around with the context
bulwahn [Fri, 29 Oct 2010 08:44:44 +0200] rev 40246
changed global fixed timeout to a configurable timeout for quickcheck; test parameters in quickcheck are now fully passed around with the context
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip