]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 109ddb8) | patch
Makefile improved
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 16:00:53 +0000 (16:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 16:00:53 +0000 (16:00 +0000)
commit9cd95ba4575b0671c49d9da10e886bc9aa7be0d9
tree7a846077df20477c2282dd6d0a23246718296b27tree | snapshot
parent109ddb8c437013d6d86e1564d5df3f8b089b9700commit | diff
Makefile improved
helm/matita/library/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.