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=AWL 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 64DF0BBAF for ; Thu, 18 Sep 2008 22:48:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsYAAJxb0kjU436rmWdsb2JhbACBZJFHAQEBAQEIBQYJEQOoAwGBZA X-IronPort-AV: E=Sophos;i="4.32,423,1217800800"; d="scan'208";a="15111335" Received: from moutng.kundenserver.de ([212.227.126.171]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Sep 2008 22:48:03 +0200 Received: from gate.lan.gerd-stolpmann.de (dslb-084-059-111-057.pools.arcor-ip.net [84.59.111.57]) by mrelayeu.kundenserver.de (node=mrelayeu1) with ESMTP (Nemesis) id 0MKwpI-1KgQPT1HGf-0007Kn; Thu, 18 Sep 2008 22:47:31 +0200 Received: from [192.168.0.32] (fw.lan.gerd-stolpmann.de [192.168.1.1]) by gate.lan.gerd-stolpmann.de (Postfix) with ESMTP id D88ACC0AD; Thu, 18 Sep 2008 22:47:30 +0200 (CEST) Subject: Re: [Caml-list] XML library for validating MathML From: Gerd Stolpmann To: Dario Teixeira Cc: caml-list@yquem.inria.fr In-Reply-To: <688783.84893.qm@web54603.mail.re2.yahoo.com> References: <688783.84893.qm@web54603.mail.re2.yahoo.com> Content-Type: text/plain Date: Thu, 18 Sep 2008 22:48:08 +0200 Message-Id: <1221770888.17456.47.camel@flake.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Provags-ID: V01U2FsdGVkX1+AvLA9k6Rf0xLlKZUdLClGV2RXrdv8wgxXnpM qQ2e0whLhg7TYmAlWdeAtyfJ0+UJYo8tfpY+wXZK6AlN7K+rvV pMSAJys5tBEfYY7sw60r6nzCRxh1QK+ X-Spam: no; 0.00; gerd:01 stolpmann:01 donnerstag:01 pxp:01 defaults:01 pxp:01 ocamldoc:01 literate:01 gerd:01 hacked:01 parser:01 less-than:01 less-than:01 cheers:01 stolpmann:01 Am Donnerstag, den 18.09.2008, 13:44 -0700 schrieb Dario Teixeira: > 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. I know, it's from pre-ocamldoc times. I'll see what I can do. Gerd > > 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 > > > > > -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------