W3C home > Mailing lists > Public > www-html-editor@w3.org > January to March 2007

Re: Error in definition of head element

From: David Håsäther <hasather@gmail.com>
Date: Fri, 30 Mar 2007 17:00:26 +0200
To: "David Meredith" <dave@titanmusic.com>
Cc: www-html-editor@w3.org
Message-ID: <op.tp0by0ycp8frts@hasather.net>

David Meredith wrote:

> Thanks for the explanation. However, if the following is correct
>
> <!ELEMENT head (%head.misc;,
>      ((title, %head.misc;, (base, %head.misc;)?) |
>       (base, %head.misc;, (title, %head.misc;))))>
>
> aren't the parentheses redundant in "(title, %head.misc;)"?

Yes, they are indeed.

-- 
David Håsäther
Received on Friday, 30 March 2007 15:00:43 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:17:56 GMT