]> 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)
commite1e2673eb6bfa39d9e1b7798202f959ff85d2195
tree8cfcf8201a6b998ff8af3db46b16e544254ea95f
parent5ec87fab28597f651b2792081da2264504f2dbf1
convert comments to ocamldoc comments
helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli
helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt_init.mli