[mizar] xsltproc bug

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Hi,

it ssems that xsltproc (i.e. libxslt) between version 1.1.17 and current 
(1.1.22) has a serious performance bug, making the processing of Mizar XML 
files very slow 
(http://mail.gnome.org/archives/xslt/2007-December/msg00010.html, 
http://mail.gnome.org/archives/xslt/2007-December/msg00011.html).

So anyone using xsltproc (or any incarnation of libxslt) for processing 
Mizar .xml files shouild either downgrade to 1.1.16, or compile from the 
latest libxslt CVS snapshot.

The speed of displaying XML directly as HTML in browsers should not be 
influenced, they use different XSL processors.

Josef Urban