On Tue, 2007-10-30 at 08:10 +0100, [EMAIL PROTECTED] wrote:
> This is as documented in ?source, and so is not a bug.
>
This gives us a FAQ answer:
Q: What is the difference between a feature and a bug?
A: Features are documented, bugs are undocumented. If it is a bug, it is
either a bug in a fu
On 10/30/07, Prof Brian Ripley <[EMAIL PROTECTED]> wrote:
> This is as documented in ?source, and so is not a bug.
Indeed. You are of course correct, sorry I missed that.
What still remains is that dump() creates a file that won't source,
without warning or stopping (since the output is basically
