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

Re: indentation attributes on mspace: schema update

From: Eduardo Tabacman <eduardot@dessci.com>
Date: Tue, 6 Nov 2012 20:44:59 -0300
Cc: "'www-math@w3.org'" <www-math@w3.org>
Message-Id: <14992B9F-2D9D-4C6D-ACF0-50D06E0F10E8@dessci.com>
To: David Carlisle <davidc@nag.co.uk>
David,

are these changes in the version of the dtd for download:

http://www.w3.org/Math/DTD/mathml3/mathml3.dtd

? 

(I don't see any revision history in the file, btw.)

Thanks,

eduardo


On Oct 28, 2012, at 8:26 PM, David Carlisle wrote:

> 
> 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 Tuesday, 6 November 2012 23:45:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 6 November 2012 23:45:35 GMT