]> matita.cs.unibo.it Git - helm.git/commit
added META for module helm-tactics
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Jan 2003 10:23:59 +0000 (10:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 28 Jan 2003 10:23:59 +0000 (10:23 +0000)
commit9ee2fa118515bef356198ee4a72e42a67f0e2695
treeb8bd70aacf2229618827943ee7058c11a168d23f
parent261ccc2ead2f1816d1f0293f7505e04f7a68b5cd
added META for module helm-tactics
helm/ocaml/META.helm-tactics.src [new file with mode: 0644]
helm/ocaml/Makefile.in