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

indentation attributes on mspace: schema update

From: David Carlisle <davidc@nag.co.uk>
Date: Sun, 28 Oct 2012 23:26:28 +0000
Message-ID: <508DBF24.2060604@nag.co.uk>
To: "'www-math@w3.org'" <www-math@w3.org>

As first reported by Eduardo Tabacman in the HTML5 bugzilla

https://www.w3.org/Bugs/Public/show_bug.cgi?id=17482

The extra clause in the MathML Recommendation description of mspace

> mspace also accepts the indentation attributes described in Section
> 3.2.5.2.3 Indentation attributes.

was not picked up by the code that extracts the schema from the
attribute tables in the spec and so the MathML3 Schema (Relax NG and the
derived XSD and DTD versions) does not allow the indentation attributes
on mspace.

This has been fixed in the distributed schema and in the editors' draft
of MathML3

http://www.w3.org/Math/draft-spec/appendixf-d.html

see


http://www.w3.org/Math/RelaxNG/mathml3-relaxng.zip

and in particular

http://www.w3.org/Math/RelaxNG/mathml3/mathml3-presentation.rnc

The change is:


$ cvs diff -r 1.17 RelaxNG/mathml3/mathml3-presentation.rnc
Index: RelaxNG/mathml3/mathml3-presentation.rnc
===================================================================
RCS file: /w3ccvs/WWW/Math/RelaxNG/mathml3/mathml3-presentation.rnc,v
retrieving revision 1.17
retrieving revision 1.18
diff -r1.17 -r1.18
141c141,148
<   attribute linebreak {"auto" | "newline" | "nobreak" | "goodbreak" | 
"badbreak" | "indentingnewline"}?
---
 >   attribute linebreak {"auto" | "newline" | "nobreak" | "goodbreak" | 
"badbreak" | "indentingnewline"}?,
 >   attribute indentalign {"left" | "center" | "right" | "auto" | "id"}?,
 >   attribute indentshift {length}?,
 >   attribute indenttarget {idref}?,
 >   attribute indentalignfirst {"left" | "center" | "right" | "auto" | 
"id" | "indentalign"}?,
 >   attribute indentshiftfirst {length | "indentshift"}?,
 >   attribute indentalignlast {"left" | "center" | "right" | "auto" | 
"id" | "indentalign"}?,
 >   attribute indentshiftlast {length | "indentshift"}?


Thanks to Eduardo for the report,

David
Received on Sunday, 28 October 2012 23:26:54 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 28 October 2012 23:26:54 GMT