| Wed, 23 Mar 2011 08:50:42 +0100 | bulwahn | adding documentation about the eval option in quickcheck | file | diff | annotate |
| Fri, 25 Feb 2011 16:59:48 +0100 | krauss | removed support for tail-recursion from function package (now implemented by partial_function) | file | diff | annotate |
| Tue, 11 Jan 2011 14:14:13 +0100 | haftmann | tuned text | file | diff | annotate |
| Tue, 11 Jan 2011 14:12:37 +0100 | haftmann | "enriched_type" replaces less specific "type_lifting" | file | diff | annotate |
| Thu, 23 Dec 2010 12:01:02 +0100 | haftmann | documentation stub on type_lifting | file | diff | annotate |
| Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | explaining quickcheck testers in the documentation | file | diff | annotate |
| Sun, 28 Nov 2010 21:07:28 +0100 | wenzelm | Parse.liberal_name for document antiquotations and attributes; | file | diff | annotate |