From 06adf83f05c6a4e7acdfc7f590b6ab0d0e18533f Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 21 Apr 2005 12:08:04 +0000 Subject: [PATCH] no longer build neither mathql nor hbugs per default --- helm/ocaml/Makefile.in | 4 ---- 1 file changed, 4 deletions(-) diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index be300223d..c3f319686 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -13,13 +13,9 @@ MODULES = \ cic_annotations \ cic_proof_checking \ cic_unification \ - mathql \ - mathql_generator \ - mathql_interpreter \ cic_omdoc \ metadata \ tactics \ - hbugs \ cic_transformations \ cic_textual_parser2 -- 2.39.2