| 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 |
| Fri, 26 Nov 2010 12:03:18 +0100 | haftmann | globbing constant expressions use more idiomatic underscore rather than star | file | diff | annotate |
| Fri, 26 Nov 2010 11:38:20 +0100 | haftmann | datatype constructor glob for code_reflect | file | diff | annotate |
| Sat, 06 Nov 2010 00:10:32 +0100 | krauss | abolished obscure goal variant of [split_format] -- unused (cf. d1c14898fd04), unrelated to '(complete)' variant, and not at all canonical | file | diff | annotate |
| Fri, 29 Oct 2010 11:49:56 +0200 | wenzelm | eliminated obsolete \_ escapes in rail environments; | file | diff | annotate |