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.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 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 EDF8ABBAF for ; Thu, 18 Sep 2008 10:06:44 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoMCAAKp0UjAXQImiGdsb2JhbACSTz4BAQEPIJ5cJ4Z2AQJ+AoMF X-IronPort-AV: E=Sophos;i="4.32,419,1217800800"; d="scan'208";a="17078622" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Sep 2008 10:06:44 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8I86eZi013864 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 18 Sep 2008 10:06:44 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigBABOp0UjRVcblmmdsb2JhbACSTz4BAQEBAQgFCAcRA55bJ4Z2AQJ+AoMF X-IronPort-AV: E=Sophos;i="4.32,419,1217800800"; d="scan'208";a="17434168" Received: from rv-out-0506.google.com ([209.85.198.229]) by mail1-smtp-roc.national.inria.fr with ESMTP; 18 Sep 2008 10:06:43 +0200 Received: by rv-out-0506.google.com with SMTP id k40so3222208rvb.57 for ; Thu, 18 Sep 2008 01:06:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=xHD1zDAYfhj/BobSsnNwLFCniowT4vJ0C+XziybW7Z4=; b=lzzxFjX96wwL+l0U+/g4v/Wm4B7MLvANRCWfUp/6fiMQ5q9Ki25bDKr4xS/Xj47tzp ScQqaCsEfIgDjHJIue2fKJhjJ3jHkwItVsNz+UHoy+wloWyotlZKA+ljcKDk4i9WMF2j cXhl7xdripeoJC1Bjkx4me5NMYSKF8BwAR1l0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=NW0fYMev2PsAvnobB+4euK2Qx5e3i4tggPr+NdSc/2tcIdRkNgKoF9odOnbJW9fjMw YaDld3vBPTihDCg8iabCWayPJ9x/70JrdBJAXEuolUfgIWJPck2jsY82TxZgoGHATv/B VlnNG+mFU4n0nLwmQYCsfPudK/N/uy2ln0fJc= Received: by 10.141.33.21 with SMTP id l21mr7241043rvj.9.1221725202083; Thu, 18 Sep 2008 01:06:42 -0700 (PDT) Received: by 10.140.188.1 with HTTP; Thu, 18 Sep 2008 01:06:42 -0700 (PDT) Message-ID: <666572260809180106o30e65d01j4ae545054bb7a8ef@mail.gmail.com> Date: Thu, 18 Sep 2008 10:06:42 +0200 From: Adrien To: "Matt Gushee" Subject: Re : [Caml-list] XML library for validating MathML Cc: caml-list@inria.fr In-Reply-To: <48D1C3EB.3020900@gushee.net> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <103293.54569.qm@web54606.mail.re2.yahoo.com> <20080917221317.GA9321@annexia.org> <48D1C3EB.3020900@gushee.net> X-Miltered: at discorde with ID 48D20C10.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 beginner's:01 ocaml:01 bug:01 1.0:98 1.0:98 beginners:01 wrote:01 wrote:01 caml-list:01 caml-list:01 Hi, I have encountered a problem with xml-light's dtd supportone year ago. Basically if you have something name "ABCD" and something else named "ABCDEF", it will fail. It could be your problem. Unfortunately I never had time to fix it. Well, no time to be more precise, I'm already late. --- Adrien Nader 2008/9/18, Matt Gushee : > 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/ : > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >