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

RE: Error in definition of head element

From: David Meredith <dave@titanmusic.com>
Date: Wed, 28 Mar 2007 23:40:25 +0100
To: 'David Håsäther' <hasather@gmail.com>
Cc: <www-html-editor@w3.org>
Message-ID: <000001c7718a$13f11260$0e01a8c0@DAVE>

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;)"?

Best regards,
Dave Meredith

---
David Meredith
dave@titanmusic.com
http://www.titanmusic.com
 

> -----Original Message-----
> From: David Håsäther [mailto:hasather@gmail.com] 
> Sent: 28 March 2007 17:13
> To: David Meredith
> Cc: www-html-editor@w3.org
> Subject: Re: Error in definition of head element
> 
> On 3/28/07, David Meredith <dave@titanmusic.com> wrote:
> 
> > However, I think there should be a question mark after the "(title,
> > %head.misc;)" to indicate that the base element can occur 
> on its own without
> > a title element. That is, I believe the definition should 
> be as follows:
> >
> > <!ELEMENT head (%head.misc;,
> >      ((title, %head.misc;, (base, %head.misc;)?) |
> >       (base, %head.misc;, (title, %head.misc;)?)))>
> >
> > Is that right?
> 
> No, a title element is required.
> 
> -- 
> David Håsäther
Received on Wednesday, 28 March 2007 22:40:40 GMT

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