- From: Eduardo Tabacman <eduardot@dessci.com>
- Date: Tue, 6 Nov 2012 20:44:59 -0300
- To: David Carlisle <davidc@nag.co.uk>
- Cc: "'www-math@w3.org'" <www-math@w3.org>
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 UTC