W3C home > Mailing lists > Public > www-math@w3.org > July 2002

Re: details for /Math/XSL/ at w3

From: David Carlisle <davidc@nag.co.uk>
Date: Thu, 18 Jul 2002 13:08:54 +0100
Message-Id: <200207181208.NAA06930@penguin.nag.co.uk>
To: hammond@csc.albany.edu
CC: www-math@w3.org

1.  The document must be served through HTTP as "text/xml".

2.  The document must not reference external XML entities.
3.  The document must not have a "<!DOCTYPE" declaration.

It can reference a DOCTYPE but mozilla won't read it.
It will read a DTD of the same name in its $MOZILLAHOME/res/dtd
directory. (so if you call the DTD mathml2.dtd (at any URI)
mozilla will read its own copy of mathml2.dtd and you can use
&rightarrow; and friends. Personally I think this behaviour of mozilla
is completely horrible, but that's how it is.

5.  The reference to one's local copy of David Carlisle's XSLT sheet
    "mathml.xsl" (or "pmathml.xsl") must be via '<?xml-stylesheet
    type="text/xsl"' before the root element (which, of course, must
    be opened with '<html xmlns="http://www.w3.org/1999/xhtml"')

yes this is true for any use of <?xml-stylesheet, nit just this
stylesheet of course.

6.  XSLT sheets must be served through HTTP as "application/xml".
    (See RFC 3023; "text/xsl" is not a registered content type.)

yes mozilla is very fussy about this (it probably also accepts xml+xsl,
but IE doesn't so text/xml is best)

7.  CSS sheets must be served through HTTP as "text/css".  (See
    RFC 2318.)
again this will be a general mozilla enforcement issue rather than
anything about this stylesheet.

I'll try to hightlight these points in the doc, thanks


This message has been checked for all known viruses by Star Internet
delivered through the MessageLabs Virus Scanning Service. For further
information visit http://www.star.net.uk/stats.asp or alternatively call
Star Internet for details on the Virus Scanning Service.
Received on Thursday, 18 July 2002 08:09:19 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:32 UTC