]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c84e96b) | patch
coq.moo.opt dependency added to the target tests.opt
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 Jan 2006 11:10:23 +0000 (11:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 Jan 2006 11:10:23 +0000 (11:10 +0000)
commit4622c744ca883d0a2a308d5ec5f3f280a039af64
tree39c6b38cdcc147401d37427bb4e08ece69464f56tree | snapshot
parentc84e96bf662f4372a1732926f28429b0f73f8a61commit | diff
coq.moo.opt dependency added to the target tests.opt
helm/matita/Makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.