W3C home > Mailing lists > Public > www-validator@w3.org > October 2002

Re: MathML validation

From: Bjoern Hoehrmann <derhoermi@gmx.net>
Date: Wed, 30 Oct 2002 01:37:46 +0100
To: Nick Kew <nick@webthing.com>
Cc: Robert Miner <RobertM@dessci.com>, www-validator@w3.org
Message-ID: <3deb26de.194009731@smtp.bjoern.hoehrmann.de>

* Nick Kew wrote:
>On Tue, 29 Oct 2002, Robert Miner wrote:
>> http://www.w3.org/Math/testsuite/testsuite/Characters/EntityNames/a.xml
>> This page does have a DOCTYPE and works fine.  The validator catches
>> an error in fact.

(no a[@target] in document type definition).

>Is that correct?

Yes, the validator reports an error :-)

>I ask because the service at http://valet.webthing.com:8000/ _doesn't_
>catch the target as an error.  And it didn't recognise your PUBLIC
>identifier, so it fetched the original DTDs from w3.org for the
>Since it's a modular DTD, it is of course possible that the XML validator
>has an outdated module that _was_ resolved locally.  If so, I should
>really track it down!

The associated document type definition has a

  <!ATTLIST %a.qname; target CDATA #IMPLIED>

thus the document should validate. The W3C MarkUp Validator uses the
wrong document type definition for validation, the correct one is in
sgml-lib/UPD-MathML2-20021015 but not used anywhere (AFAICT).
Received on Tuesday, 29 October 2002 19:37:41 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 14:17:35 UTC