]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/nlibrary/depends
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 285a66d) | patch
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 Mar 2010 09:12:41 +0000 (09:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 Mar 2010 09:12:41 +0000 (09:12 +0000)
commitc35f0cd5d774d92e3158196eead7ecb17cf2f384
tree97360be15b21289d7ed0ce1ee9f4689d59f6cfadtree | snapshot
parent285a66d7ab69b1cb4b060cc9d8e4f1953095759ecommit | diff
...

From: sacerdot <sacerdot@c2b2084f-9a08-0410-b176-e24b037a169a>
helm/software/matita/nlibrary/depends diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.