🚀 go-pugleaf

In article <6vbi51$mqr$1@newnews.nl.uu.net>,
David Kastrup <dak@mailhost.neuroinformatik.ruhr-uni-bochum.de> wrote:
>> I suggest you look "default" up in a dictionary. ...

Toon Moene  <toon@moene.indiv.nluug.nl> wrote:
>Be careful of what you're asking for - you might get it:
>
>Webster's Ninth Collegiate:

Bah.  As a non-American, you can't be expected to know what your dictionary
seller didn't tell you: the name "Webster's" passed into the public domain.
I have no idea who puts out "Webster's Ninth Collegiate" but it's not
a particularly respected source or they wouldn't call it that.

The only "Webster's" that has anything to do with Noah Webster (the guy
who decided that we Americans should spell things differently) is
Mirriam-Webster -- if your dictionary doesn't say that but does
say "Webster's", it's just a knock-off.

I think you need a better dictionary.

The folks from across the pond would point you at the OED, which I'm
sure points out in excruciating detail the use of "default" as an adjective
and when it first appeared.

-- 
-- Joe Buck
   work: jbuck@synopsys.com, otherwise jbuck@welsh-buck.org or jbuck@best.com
http://www.welsh-buck.org/