]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d491d2d) | patch
added dep on helm-metadata
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Oct 2004 15:56:12 +0000 (15:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Oct 2004 15:56:12 +0000 (15:56 +0000)
commit191de48155d6941a1a3f315dece2bfbd0fb0f0a1
treed71c36ec8f1d67643e62fa0575a531647f6d075btree | snapshot
parentd491d2def96ddd1c27299ad0fa3d0cae39aa45cecommit | diff
added dep on helm-metadata
helm/ocaml/METAS/meta.helm-tactics.src diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.