]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3a8bcf) | patch
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
treeae5afab73d03d8d396cf42a5f90a10d2c6a71b92tree | snapshot
parente3a8bcf815ee8b619687007867205f24d501ebfacommit | diff
last version with caml 3.09 built and saved as 0.3.0
helm/software/configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.