From: Stefano Zacchiroli Date: Thu, 22 Apr 2004 13:53:22 +0000 (+0000) Subject: rebuit X-Git-Tag: dead_dir_walking~9 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=5df14de1fe3e3309766e04a49b2d1c7b13205698 rebuit --- diff --git a/helm/ocaml/cic_disambiguation/.depend b/helm/ocaml/cic_disambiguation/.depend index b8c5c9ccf..2a5719e54 100644 --- a/helm/ocaml/cic_disambiguation/.depend +++ b/helm/ocaml/cic_disambiguation/.depend @@ -23,3 +23,5 @@ logic_notation.cmo: cicTextualParser2.cmi disambiguateChoices.cmi logic_notation.cmx: cicTextualParser2.cmx disambiguateChoices.cmx arit_notation.cmo: cicTextualParser2.cmi disambiguateChoices.cmi arit_notation.cmx: cicTextualParser2.cmx disambiguateChoices.cmx +tex_notation.cmo: cicTextualParser2.cmi +tex_notation.cmx: cicTextualParser2.cmx