]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0eabea8) | patch
fixed depends after the removal of Fsub
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Apr 2008 09:18:08 +0000 (09:18 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 2 Apr 2008 09:18:08 +0000 (09:18 +0000)
commit48db80ca9e9a6affc78849f51cfb0d9ef1258a4e
tree82f680b540b7c022eb6a28239d5593b8b40d2259tree | snapshot
parent0eabea8354445b2d81a92b9d1b3016a476d381cbcommit | diff
fixed depends after the removal of Fsub
helm/software/matita/library/depends diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.