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

validation of HTML+MathML documents

From: David Carlisle <davidc@nag.co.uk>
Date: Wed, 13 Jun 2012 11:42:14 +0100
Message-ID: <4FD86E86.6030909@nag.co.uk>
To: "'www-math@w3.org'" <www-math@w3.org>

I'm pleased to be able to announce that the W3C "non DTD-based" 
validator has been updated to support MathML3.

This confirms for example that the single file HTML5 version of the 
Editors' draft of MathML3 is valid:

http://validator.w3.org/nu/?doc=http%3A%2F%2Fwww.w3.org%2FMath%2Fdraft-spec%2Fmathml.html


http://validator.w3.org/nu is an instance of the validator.nu validator 
http://about.validator.nu/#faq which is basically a RelaxNG based 
validator but with a lot of additional custom Java code to check things 
that may not be expressed in a schema.

Thanks to Michael Smith for updating the code to use the MathML3 schema, 
and Henri Sivonen for developing the validator.nu system.


David

________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________
Received on Wednesday, 13 June 2012 10:42:39 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 13 June 2012 10:42:39 GMT