]> matita.cs.unibo.it Git - helm.git/commitdiff
- bugfix: add xsl:output element as last child of the root element to
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 20:03:59 +0000 (20:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 20:03:59 +0000 (20:03 +0000)
  avoid violation of XSLT specifications when one or more xsl:import
  elements are used
- added logging of received parameters for debugging purposes


No differences found