]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e16d80) | patch
auto is smarter :-)
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 21 Oct 2009 13:39:28 +0000 (13:39 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 21 Oct 2009 13:39:28 +0000 (13:39 +0000)
commit99c0c1171257384a8d9c1910a3b123fe91bfe29c
treec3b520bd63d7fddef58c2007f0d495e84620a03atree | snapshot
parent1e16d80cc7bf9b73cf5526934b17e2ba955a522acommit | diff
auto is smarter :-)
helm/software/matita/nlibrary/topology/cantor.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.