From 063cfc60b3ac7790b2080aa5ca7471c9e49a3b60 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Wed, 20 Oct 2004 11:03:59 +0000 Subject: [PATCH] - removed cic_cache and cic_annotations_cache - moved metadata before tactics --- helm/ocaml/Makefile.in | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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 -- 2.39.2