I think my suggestion with the (formal) public identifier is
more general. Your suggestion would work of course, but
if we have two URLs, for instance, http://www.jon.com/foo.dsl and
http://www.norbert.com/foo.dsl, they could be the same
stylesheet but they don't *have* to be.
Also extracting the stylesheet name as such wouldn't be the
best solution (foo.dsl) as there also might be ambiguities.
Your foo.dsl is not necessarily my foo.dsl.
However, if I cache "-//NHM//FOO STYLE//EN", then especially with
formal public idents, I (normally) wouldn't have these problems.
Right ?
-- Best regards, Norbert H. Mikula===================================================== = SGML, DSSSL, Intra- & Internet, AI, Java ===================================================== = mailto:nmikula@edu.uni-klu.ac.at = http://www.edu.uni-klu.ac.at/~nmikula =====================================================