| Wed, 12 Nov 2014 17:37:43 +0100 | immler | added quickcheck[approximation] | file | diff | annotate |
| Tue, 26 Mar 2013 20:37:32 +0100 | wenzelm | tuned session specification; | file | diff | annotate |
| Mon, 26 Apr 2010 11:34:15 +0200 | haftmann | line break | file | diff | annotate |