]> matita.cs.unibo.it Git - helm.git/commit
implemented saveResultToChannel
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Nov 2002 11:26:58 +0000 (11:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Nov 2002 11:26:58 +0000 (11:26 +0000)
commit54c2dc43bd9a12dca1d4edacc4324acd7bd07f0d
tree433a75f910e01cb9a6d0a60f2494367506e41211
parent79ed222996614bfe839c7d75f2e544e6ac01177a
implemented saveResultToChannel
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.ml
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt_init.ml
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt_init.mli
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/i_gdome_xslt.ml
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.c
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.h