]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8691b56) | patch
- factorization of the recursive rule
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 10:52:35 +0000 (10:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 10:52:35 +0000 (10:52 +0000)
commitc3ab7e0c0f605738d56530182eb8725bd948de82
tree514b53f0b198efde24374d227a51f57e14f66018tree | snapshot
parent8691b562846849802c3829505ba487c1d26df1d0commit | diff
- factorization of the recursive rule
- added "library" target to build the stdlib when distributed
- implemented "distcheck" target
helm/software/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.