Archives of the Caml mailing list > Message from Richard Jones

Browse thread

XML library for validating MathML

Dario Teixeira
- Richard Jones
  - Matt Gushee
    - Adrien
- Vincent Hanquez
  - Till Varoquaux
    - Vincent Hanquez
    - Gerd Stolpmann
      - Markus Mottl
      - Matt Gushee
- Dario Teixeira
  - Dario Teixeira
    - Gerd Stolpmann
      - Dario Teixeira
        
        Gerd Stolpmann
        
        Stefano Zacchiroli

Date:	-- (:)
From:	Richard Jones <rich@a...>
Subject:	Re: [Caml-list] XML library for validating MathML

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.

Rich.

-- 
Richard Jones
Red Hat