W3C home > Mailing lists > Public > www-math@w3.org > November 2012

<semantics>, RelaxNG and validator.w3.org

From: Frédéric WANG <fred.wang@free.fr>
Date: Thu, 01 Nov 2012 15:03:43 +0100
Message-ID: <5092813F.9040305@free.fr>
To: "www-math@w3.org" <www-math@w3.org>
Dear all,

I've tried to improve implementation of <semantics> in Gecko and written 
some testcases. For people interested in the bug details: 
https://bugzilla.mozilla.org/show_bug.cgi?id=745131. Some remarks:

- An empty <semantics></semantics> is invalid. In Gecko, I'll display an 
"invalid-markup" message (and probably send a console error when Raymond 
Wells is done with implementing this feature).
- <annotation> and <annotation-xml> are not accepted as a first child. 
In Gecko, I'll allow this case to address Jacques Distler's use case. 
Perhaps the RelaxNG schema should be modified.
- I get messages "Bad value application/mathml-presentation+xml for 
attribute encoding on element annotation-xml." and similarly for other 
values like "image/svg+xml" or "unknown". The RelaxNG schema seems to 
allow any string though so I guess it is something specific to 
validator.w3.org.
- Including <html> in an <annotation-xml> does not seem to validate

Perhaps there are confusions with HTML5/XHTML and RelaxNG/DTD 
validations in what I said, but I'd be happy to hear other people 
experience with <semantics> and validation.

-- 
Frédéric Wang
maths-informatique-jeux.com/blog/frederic
Received on Thursday, 1 November 2012 14:02:02 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 1 November 2012 14:02:02 GMT