]> matita.cs.unibo.it Git - helm.git/commit
rebuilt
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 09:29:03 +0000 (09:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 09:29:03 +0000 (09:29 +0000)
commitc210547e6b3a69f23c1acbfe18f3e3edcf901f44
tree9874e3d5302fc16a6d62fb523e56e47b948d0cd9
parenteac74259f5a0aaa8056791876284c897a6827c24
rebuilt
helm/ocaml/cic_transformations/.depend
helm/ocaml/hbugs/.depend