]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c78baac) | patch
factorization of the recursive rule
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 10:51:02 +0000 (10:51 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Feb 2006 10:51:02 +0000 (10:51 +0000)
commit54c317dbd0278e9d17543743e66905c656d6a8ac
tree1c07298fefbf56759b3a991998a54f0baa8dbb11tree | snapshot
parentc78baac3998174ba3d8f0aaff487c5e261770025commit | diff
factorization of the recursive rule
components/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.