]> matita.cs.unibo.it Git - helm.git/commit
last version with caml 3.09 built and saved as 0.3.0
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 10 Sep 2007 18:35:11 +0000 (18:35 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 10 Sep 2007 18:35:11 +0000 (18:35 +0000)
commit90cad8d86ee59211e314797a32cf47abb9975dab
treeae5afab73d03d8d396cf42a5f90a10d2c6a71b92
parente3a8bcf815ee8b619687007867205f24d501ebfa
last version with caml 3.09 built and saved as 0.3.0
helm/software/configure.ac