From: Enrico Tassi Date: Thu, 28 Apr 2005 13:29:30 +0000 (+0000) Subject: added hbugs and mathql X-Git-Tag: single_binding~147 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=49e1d8c87e52b9b62bad467246e953d3af81a692;p=helm.git added hbugs and mathql --- diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index c3f319686..e07de2783 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -17,7 +17,11 @@ MODULES = \ metadata \ tactics \ cic_transformations \ - cic_textual_parser2 + cic_textual_parser2 \ + mathql \ + mathql_interpreter \ + mathql_generator \ + hbugs OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@ OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@