]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c88c60d) | patch
added dep on helm-mquery_generator
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Feb 2003 17:32:39 +0000 (17:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Feb 2003 17:32:39 +0000 (17:32 +0000)
commit4ae63e4f0540664c10ec1ab5cd9cb93a097738bf
tree63ce7408f335b3b97f7b1631f6860193e270accctree | snapshot
parentc88c60d45e1502d07ebb56275c12255e7cecc290commit | diff
added dep on helm-mquery_generator
helm/ocaml/META.helm-tactics.src diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.