]> matita.cs.unibo.it Git - helm.git/commit
cosmetic changes
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Jan 2005 15:59:06 +0000 (15:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Jan 2005 15:59:06 +0000 (15:59 +0000)
commiteec7bebeef825af62d31a75686e62ab3a1c9b202
tree152ede958490017796d0e7427bc2c76b2acb087b
parent3f6f868f14eadef7f17d5e3008cffe19307ad492
cosmetic changes
helm/ocaml/cic/Makefile