From: Andrea Asperti Date: Wed, 20 Oct 2004 11:03:59 +0000 (+0000) Subject: - removed cic_cache and cic_annotations_cache X-Git-Tag: V_0_0_10~63 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=063cfc60b3ac7790b2080aa5ca7471c9e49a3b60;p=helm.git - removed cic_cache and cic_annotations_cache - moved metadata before tactics --- diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in index 980990db6..2e678c9d8 100644 --- a/helm/ocaml/Makefile.in +++ b/helm/ocaml/Makefile.in @@ -11,8 +11,6 @@ MODULES = \ getter \ cic \ cic_annotations \ - cic_annotations_cache \ - cic_cache \ cic_proof_checking \ cic_textual_parser \ tex_cic_textual_parser \ @@ -21,9 +19,9 @@ MODULES = \ mathql_generator \ mathql_interpreter \ cic_omdoc \ + metadata \ tactics \ hbugs \ - metadata \ cic_transformations \ cic_textual_parser2