]> matita.cs.unibo.it Git - helm.git/commit
use new METAS/* names
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:31:04 +0000 (17:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:31:04 +0000 (17:31 +0000)
commit3128b6ab6540bcf3d099e2fcc591bebe94ed6e62
tree72e774f18749364f4e924eb2d555aa36cff76d50
parent74d9faf4c6bd9abfb84934d6897a1ab98f9027d2
use new METAS/* names
helm/ocaml/Makefile.in