From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sun, 1 Dec 2002 20:03:59 +0000 (+0000)
Subject: - bugfix: add xsl:output element as last child of the root element to
X-Git-Tag: V_0_0_6~24
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e5de7dd8a5252e83ba067e638a847bcdeaffde4b;hp=e5de7dd8a5252e83ba067e638a847bcdeaffde4b;p=helm.git

- bugfix: add xsl:output element as last child of the root element to
  avoid violation of XSLT specifications when one or more xsl:import
  elements are used
- added logging of received parameters for debugging purposes
---