]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 256ea27) | patch
let's find the .ma files also in subdirectories
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 5 Jul 2005 13:15:31 +0000 (13:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 5 Jul 2005 13:15:31 +0000 (13:15 +0000)
commitc98f8372d00334e12e3a73b2494c34c320df9bfb
tree748d35c852ec65a529bf0f423efae76a36b9b426tree | snapshot
parent256ea270b884864d0eddd1de66bae2a2cbc513ffcommit | diff
let's find the .ma files also in subdirectories
helm/matita/library/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.