English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
XML library for validating MathML
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-09-18 (20:44)
From: Dario Teixeira <darioteixeira@y...>
Subject: Re: [Caml-list] XML library for validating MathML

> 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:

< <!ENTITY amp              "&#x26;&#x00026;" ><!--=ampersand -->
> <!ENTITY amp              "&#x26;#x00026;" ><!--=ampersand -->
< <!ENTITY lt               "&#x26;&#x0003C;" ><!--=less-than sign R: -->
> <!ENTITY lt               "&#x26;#x0003C;" ><!--=less-than sign R: -->

Dario Teixeira