From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 46D44BBAF for ; Thu, 18 Sep 2008 22:44:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArcCAHVa0kjOvjGtmmdsb2JhbACPVINXAQEBAQEIBQgHEQOoEwODeA X-IronPort-AV: E=Sophos;i="4.32,423,1217800800"; d="scan'208";a="15111240" Received: from web54603.mail.re2.yahoo.com ([206.190.49.173]) by mail2-smtp-roc.national.inria.fr with SMTP; 18 Sep 2008 22:44:28 +0200 Received: (qmail 98057 invoked by uid 60001); 18 Sep 2008 20:44:27 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID; b=Q8yUmvUxqI8dDdSSgW7MKpxztODLOyFUYJ6Nbj/fXezNGgbscONHOCTxzXfE8+zuXELDufZrXkI/lnB8hklMC9c1n16wRfHlZ+ZoDpV83hB30ZIyVZXj/LGAaGQE1XyNY82IC3fy3uKpaNz8pLWv7H/Zaijwno2xzqxfTvHjkiU=; X-YMail-OSG: P8n9nrsVM1la4Lzq8kWGz1FSBeQaw3nLAeOdUF8cQAmW84MS06RBYxVttaf7vM8Yz98G__AQE8PgyLhLMc4NYa6N1N.F1rBVkmJoh6Ba2gPvTIH_pcmwsNVB8DoFGPDxVzql5I5Pq7AHd_M_.pMJ587G7JDnNiM- Received: from [213.205.69.146] by web54603.mail.re2.yahoo.com via HTTP; Thu, 18 Sep 2008 13:44:27 PDT X-Mailer: YahooMailWebService/0.7.218.2 Date: Thu, 18 Sep 2008 13:44:27 -0700 (PDT) From: Dario Teixeira Subject: Re: [Caml-list] XML library for validating MathML To: Gerd Stolpmann Cc: caml-list@yquem.inria.fr In-Reply-To: <1221762483.17456.42.camel@flake.lan.gerd-stolpmann.de> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Message-ID: <688783.84893.qm@web54603.mail.re2.yahoo.com> X-Spam: no; 0.00; pxp:01 defaults:01 pxp:01 ocamldoc:01 literate:01 hacked:01 parser:01 less-than:01 less-than:01 cheers:01 navigate:98 liberal:98 amp:98 amp:98 0003:98 Hi, > Code points: Note that PXP defaults to ISO-8859-1 as > character set. Use > it in UTF-8 mode to get rid of these warnings. Ah, thanks, I'll look into that. By the way, is there an API reference for PXP? I noticed you are not using Ocamldoc, and I'm guessing the PXP manual is built from some sort of literate programming tool. Unfortunately, the manual is quite large, and it can be difficult to navigate. > That W3C docs are erroneous is nothing new, although it is > a bit surprising that they cannot even stick to the basics of > their own formalism. I suppose they used a hacked SGML parser > for developing MathML, since SGML is more liberal about > lexical details. I'm sure floggings will be administered. Anyway, thanks for making the diagnostic on the problem! I am happy to report that once the isonum.ent file is fixed, PXP is able to validate MathML documents against the official DTD. Fixing the isonum.ent was simply a matter of applying Gerd's correction to two lines, 28 and 66. Here is the diff: 28c28 < --- > 66c66 < --- > Cheers, Dario Teixeira =0A=0A=0A