Installing TDS at Sussex
Mon, 11 Sep 1995 11:02:37 +0100
> What about if we reserved the name ``local'' at every level for people
> to put stuff into if they want? (Similar to `misc' now.) I'm not sure if
> this is better or worse than the proliferation of ``sussex'', ``umb'',
> ``elsevier'', etc.
my memory is that we had done this, i was obviously wrong. but i think
it should go in - "local" is reserved, and its contents undefined.
that doesnt mean that "elsevier" and "umb" shouldnt register their
names, tho, imho