]> matita.cs.unibo.it Git - helm.git/commit
convert comments to ocamldoc comments
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 09:16:29 +0000 (09:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 09:16:29 +0000 (09:16 +0000)
commitb0037e3302c2ab3f99dd866cf3fdf001af34115a
tree22f8a1c3d6cca6a7f4f26166b2eb82410ed63302
parent3695c4b811d7e0d731724ea3fdcdd1fa68b76006
convert comments to ocamldoc comments
DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli
DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt_init.mli