| commit | da819f53f9bb3dcbcc1686475be857c0170d27d8 | |
| author | Bert Burgemeister <trebbu@googlemail.com> | |
| Mon, 24 Mar 2014 10:31:11 +0000 (24 11:31 +0100) | ||
| committer | Bert Burgemeister <trebbu@googlemail.com> | |
| Mon, 24 Mar 2014 10:31:11 +0000 (24 11:31 +0100) | ||
| tree | 51f5de85b1020dbd22eccafb3f9df86d8580998f | treesnapshot (tar.gz zip) |
| parent | 600c954f9718fc574be5ab31457f1a65b6a98303 | commitdiff |
Fix description of typecase; and some minor changes
Thanks to Sian Mountbatten for the bug report.
Thanks to Sian Mountbatten for the bug report.