]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Dec 2009 18:17:43 +0000 (18:17 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Dec 2009 18:17:43 +0000 (18:17 +0000)
commit910b95f6ac4733afe717a27a23ae7d0e67d8f701
tree64ccc019868830dd00ea6b2569fc9982be8357ae
parent924e808f1bc958a2d3c8ac05c96aeb8bc1f6d791
...
helm/software/matita/nlibrary/depends