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
> < <!ENTITY amp              "&#x26;&#x00026;" ><!--=ampersand -->
> ---
> > <!ENTITY amp              "&#x26;#x00026;" ><!--=ampersand -->
> 66c66
> < <!ENTITY lt               "&#x26;&#x0003C;" ><!--=less-than sign R: -->
> ---
> > <!ENTITY lt               "&#x26;#x0003C;" ><!--=less-than sign R: -->
> 
> 
> 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
------------------------------------------------------------