]> matita.cs.unibo.it Git - helm.git/commit
Makefiles patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 17 Dec 2003 11:52:28 +0000 (11:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 17 Dec 2003 11:52:28 +0000 (11:52 +0000)
commitf6e189c5b51b6c403357af995495e4e07d98c476
treeb2a4f31630e2f1c78ad669129e85ffa320309f9a
parent36ffad7c7847e28c3275897547a7308929748455
Makefiles patched
helm/ocaml/Makefile.common.in
helm/ocaml/Makefile.in
helm/ocaml/cic_proof_checking/.depend
helm/ocaml/mathql_interpreter/.depend