W3C home > Mailing lists > Public > www-math@w3.org > June 2010

Re: Accents in the operator dictionary

From: Frédéric WANG <fred.wang@free.fr>
Date: Thu, 10 Jun 2010 13:35:45 +0200
Message-ID: <4C10CE11.5080802@free.fr>
To: neils@dessci.com
CC: Neil Soiffer <neil.soiffer@gmail.com>, "www-math@w3.org" <www-math@w3.org>
Thanks, it looks good (there is just a typo elment => element in 
paragraph 3.2.5.7.2).
BTW, I wrote a script some months ago to compare Mozilla operator 
dictionary against the one suggested in appendix C. Unfortunately, it no 
longer works because the structure of the HTML table in appendixc.html 
has changed. I wonder if this table of operators is generated from 
something easier to parse and with a more stable format, for example an 
XML file? If so, would it be possible to make it public? This would make 
it more convenient for implementers who want to align on the W3C's 
dictionary.

On 03/06/2010 07:55, Neil Soiffer wrote:
> I forgot to send a response, but several weeks back we made changes to 
> chapter 3 and fixed up the operator dictionary somewhat that are along 
> the lines you suggested.  Take a look at:
> http://monet.nag.co.uk/~dpc/draft-spec/chapter3-d.html#id.3.2.5.7 
> <http://monet.nag.co.uk/%7Edpc/draft-spec/chapter3-d.html#id.3.2.5.7>
>
> In particular, look at  3.2.5.7.2 Default value of the |form| attribute.
>
> There were lots of changes/improvements to the operator dictionary:
> http://monet.nag.co.uk/~dpc/draft-spec/appendixc.html 
> <http://monet.nag.co.uk/%7Edpc/draft-spec/appendixc.html>
> (the diff marked form of the operator dictionary was messed up when I 
> looked at it)
>
> I hope these seem reasonable to you,
>
> Neil Soiffer
> Senior Scientist
> Design Science, Inc.
> www.dessci.com <http://www.dessci.com/>
> ~ Makers of MathType, MathFlow, MathPlayer, MathDaisy, WebEQ, Equation 
> Editor ~

-- 
Frédéric Wang.
Website <http://www.maths-informatique-jeux.com/> - Weblog 
<http://www.maths-informatique-jeux.com/blog/frederic/>
Received on Thursday, 10 June 2010 11:33:17 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 10 June 2010 11:33:18 GMT