Re: Module system docs

[Neil Jerram]

>>>>> "Dirk" == Dirk Herrmann <address@hidden> writes:

    Dirk> On 27 Apr 2001, Neil Jerram wrote:
    >> For the module name syntax like `#/ice-9/session', which was
    >> the old way of saying `(ice-9 session)', I think that
    >> definitely should not be documented.

    Dirk> Then, maybe, it should also become deprecated?

Oh?  I'm sorry, I misunderstood; I thought that this old syntax was
already not supported at all.  It may be, then, that we even want to
keep this syntax as an equal partner.

        Neil