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.2 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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id E0076BBAF for ; Thu, 18 Sep 2008 04:59:08 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoICAFtg0UjAXQIniGdsb2JhbACTDQEBAQ8gpWN+Amc X-IronPort-AV: E=Sophos;i="4.32,419,1217800800"; d="scan'208";a="17071096" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Sep 2008 04:59:08 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8I2x7RR020340 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 18 Sep 2008 04:59:08 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoICAFtg0UjY8SQMiGdsb2JhbACTDQEBAQ8gpWN+Amc X-IronPort-AV: E=Sophos;i="4.32,419,1217800800"; d="scan'208";a="17425206" Received: from unknown (HELO mzpi3.forethought.net) ([216.241.36.12]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/EDH-RSA-DES-CBC3-SHA; 18 Sep 2008 04:59:07 +0200 Received: from [216.241.35.41] (helo=[10.0.0.2]) by mz1.forethought.net with esmtp (Exim 4.69) (envelope-from ) id 1Kg9jS-0000AC-Iy for caml-list@inria.fr; Wed, 17 Sep 2008 20:59:02 -0600 Message-ID: <48D1C3EB.3020900@gushee.net> Date: Wed, 17 Sep 2008 20:58:51 -0600 From: Matt Gushee User-Agent: Thunderbird 2.0.0.14 (X11/20080522) MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] XML library for validating MathML References: <103293.54569.qm@web54606.mail.re2.yahoo.com> <20080917221317.GA9321@annexia.org> In-Reply-To: <20080917221317.GA9321@annexia.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 48D1C3FB.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 cduce:01 pxp:01 parser:01 pxp:01 1.0:98 1.0:98 wrote:01 wrote:01 caml-list:01 oops:01 boolean:01 tree:02 string:02 library:03 Oops, shoulda sent to the list first time. Sorry, Rich. Richard Jones wrote: > On Wed, Sep 17, 2008 at 11:58:05AM -0700, Dario Teixeira wrote: >> There are of course other XML libraries for Ocaml and let's not forget Cduce. >> Can someone recommend one solution that is guaranteed to work with the >> MathML DTD? Note that I don't need to do much with the XML tree; pretty >> much all I need is a boilerplate function that returns a boolean on whether >> a string is valid or not. > > Well ... PXP is supposed to be able to validate. No idea if it can > validate MathML though. I've never worked with MathML, but the XML 1.0 spec says that a validating XML parser *must* validate against any DTD. I think PXP is XML 1.0-compliant, but if you're not sure, the W3C has a compliance test suite that you could use to verify it. -- Matt Gushee : Bantam - lightweight file manager : matt.gushee.net/software/bantam/ : : RASCL's A Simple Configuration Language : matt.gushee.net/rascl/ :