]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29e6503) | patch
Dependencies re-computed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 22:44:31 +0000 (22:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Nov 2010 22:44:31 +0000 (22:44 +0000)
commit057a399c7f497cde3a09cd46505a441d2d6bacc7
tree68c558e46c0716bf668c394d5076fa985fb061e2tree | snapshot
parent29e65035d698f11ab4d3a627f8b9b6027f1f20d5commit | diff
Dependencies re-computed.
matita/components/lexicon/.depend diff | blob | history
matita/components/ng_cic_content/.depend diff | blob | history
matita/matita/.depend diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.