matita.cs.unibo.it Git - helm.git/commit - helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install

]> matita.cs.unibo.it Git - helm.git/commit - helm/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: e7e0b42) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Sat, 7 Jan 2006 17:54:03 +0000 (17:54 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Sat, 7 Jan 2006 17:54:03 +0000 (17:54 +0000)
commit	3996f6ecdf306d633a5bb2caed26cc94d16d03b7
tree	c50f6400ac5a27e7f1d7cde71a97dd52435b452c	tree \| snapshot
parent	e7e0b429bca90e75f9fc3007777530f943a465af	commit \| diff

ported to ocaml 3.09.1

Unnamed repository; edit this file 'description' to name the repository.