]> matita.cs.unibo.it Git - helm.git/commit
transition to ocaml 3.09.2
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 May 2006 23:03:30 +0000 (23:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 May 2006 23:03:30 +0000 (23:03 +0000)
commitf3c974a8aad9f1f4fa1c16478391bdae3fbe8408
tree0c456f2ea71e9919f778b0d96229f40aa06664bb
parentd446e47c39af1ae40a3072c188c81a978e95804c
transition to ocaml 3.09.2
DEVEL/gdome_xslt/debian/changelog
DEVEL/gdome_xslt/debian/control
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.dirs
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.dirs
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml.install