]> matita.cs.unibo.it Git - helm.git/commit
- redesigned error and warning handling for libxslt
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Apr 2003 09:36:53 +0000 (09:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Apr 2003 09:36:53 +0000 (09:36 +0000)
commitd2c60bae1c4badba0a0f29e3fd2faed6d3a1869e
tree84835abb4593e96a76e6d55a629b2452cb561a86
parentced0086b4bb5b10e6c4a8268ea781624a41394dd
- redesigned error and warning handling for libxslt
- added support for error and warning for the apply method
helm/uwobo/uwobo.ml
helm/uwobo/uwobo_common.ml
helm/uwobo/uwobo_common.mli
helm/uwobo/uwobo_engine.ml
helm/uwobo/uwobo_engine.mli
helm/uwobo/uwobo_styles.ml
helm/uwobo/uwobo_styles.mli