Re: Error in definition of head element from David Håsäther on 2007-03-30 (www-html-editor@w3.org from January to March 2007)

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 UTC