maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4538 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 12 insertions, 10 deletions

diff --git a/.depend b/.depend
index 8efd5146ec..8595625eb1 100644
--- a/.depend
+++ b/.depend
@@ -2221,11 +2221,12 @@ toplevel/vernacentries.cmo: tactics/auto.cmi toplevel/class.cmi \
     proofs/proof_type.cmi toplevel/record.cmi toplevel/recordobj.cmi \
     pretyping/reductionops.cmi proofs/refiner.cmi interp/reserve.cmi \
     kernel/safe_typing.cmi parsing/search.cmi library/states.cmi \
-    interp/symbols.cmi lib/system.cmi tactics/tacinterp.cmi \
-    proofs/tacmach.cmi pretyping/tacred.cmi proofs/tactic_debug.cmi \
-    tactics/tactics.cmi kernel/term.cmi interp/topconstr.cmi \
-    kernel/typeops.cmi kernel/univ.cmi lib/util.cmi toplevel/vernacexpr.cmo \
-    toplevel/vernacinterp.cmi toplevel/vernacentries.cmi 
+    interp/symbols.cmi lib/system.cmi proofs/tacexpr.cmo \
+    tactics/tacinterp.cmi proofs/tacmach.cmi pretyping/tacred.cmi \
+    proofs/tactic_debug.cmi tactics/tactics.cmi kernel/term.cmi \
+    interp/topconstr.cmi kernel/typeops.cmi kernel/univ.cmi lib/util.cmi \
+    toplevel/vernacexpr.cmo toplevel/vernacinterp.cmi \
+    toplevel/vernacentries.cmi 
 toplevel/vernacentries.cmx: tactics/auto.cmx toplevel/class.cmx \
     pretyping/classops.cmx toplevel/command.cmx interp/constrextern.cmx \
     interp/constrintern.cmx library/decl_kinds.cmx library/declaremods.cmx \
@@ -2241,11 +2242,12 @@ toplevel/vernacentries.cmx: tactics/auto.cmx toplevel/class.cmx \
     proofs/proof_type.cmx toplevel/record.cmx toplevel/recordobj.cmx \
     pretyping/reductionops.cmx proofs/refiner.cmx interp/reserve.cmx \
     kernel/safe_typing.cmx parsing/search.cmx library/states.cmx \
-    interp/symbols.cmx lib/system.cmx tactics/tacinterp.cmx \
-    proofs/tacmach.cmx pretyping/tacred.cmx proofs/tactic_debug.cmx \
-    tactics/tactics.cmx kernel/term.cmx interp/topconstr.cmx \
-    kernel/typeops.cmx kernel/univ.cmx lib/util.cmx toplevel/vernacexpr.cmx \
-    toplevel/vernacinterp.cmx toplevel/vernacentries.cmi 
+    interp/symbols.cmx lib/system.cmx proofs/tacexpr.cmx \
+    tactics/tacinterp.cmx proofs/tacmach.cmx pretyping/tacred.cmx \
+    proofs/tactic_debug.cmx tactics/tactics.cmx kernel/term.cmx \
+    interp/topconstr.cmx kernel/typeops.cmx kernel/univ.cmx lib/util.cmx \
+    toplevel/vernacexpr.cmx toplevel/vernacinterp.cmx \
+    toplevel/vernacentries.cmi 
 toplevel/vernacexpr.cmo: library/decl_kinds.cmo parsing/extend.cmi \
     interp/genarg.cmi library/goptions.cmi library/libnames.cmi \
     kernel/names.cmi library/nametab.cmi interp/ppextend.cmi \