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