]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 872655f) | patch
Two targets now:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 16:22:42 +0000 (16:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Jul 2005 16:22:42 +0000 (16:22 +0000)
commit95295e8f5fecac6f4ba11c5cd5aec80fe25bc8e9
treec0623092df6a5b2947e9033e20b6e41cc485872ftree | snapshot
parent872655fd564a4f42b3d4778c49395ce59858989ecommit | diff
Two targets now:
 make all
 make verbose
helm/matita/library/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.