From: Stefano Zacchiroli Date: Fri, 22 Oct 2004 12:57:07 +0000 (+0000) Subject: no longer builds by default tex_ and cic_textual_parser X-Git-Tag: V_0_0_10~21 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a7eee845d4823b8672222f67f4b2d4b30a5a5c61;p=helm.git no longer builds by default tex_ and cic_textual_parser --- diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 2e678c9d8..be300223d 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -12,8 +12,6 @@ MODULES = \ cic \ cic_annotations \ cic_proof_checking \ - cic_textual_parser \ - tex_cic_textual_parser \ cic_unification \ mathql \ mathql_generator \