]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 226d77d) | patch
- 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)
commite5de7dd8a5252e83ba067e638a847bcdeaffde4b
tree9023b7325b8c6c2074938e6a438871239a187f1ftree | snapshot
parent226d77d9a27dd9f79c22498aa884d246da61e22ecommit | diff
- 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
helm/uwobo/src/ocaml/uwobo_engine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.