]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7abdf2f) | patch
fixed deps
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Mar 2008 15:39:26 +0000 (15:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Mar 2008 15:39:26 +0000 (15:39 +0000)
commit8ef11a4b981e6da3d60f353386b17f7692dc0ecd
tree81342cb1cfd566e791f9321666562945ca0c3034tree | snapshot
parent7abdf2f1764ba67a48f0829f7a9813ce7426b0c6commit | diff
fixed deps
helm/software/matita/library/depends diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.