From ee362fea7dcc9afd3dd068137afba4d4016ab9bb Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 4 May 2004 23:02:31 +0000
Subject: maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5728 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .depend        | 2 ++
 .depend.camlp4 | 1 +
 2 files changed, 3 insertions(+)

diff --git a/.depend b/.depend
index b9bd659ef7..2cfda23c9b 100644
--- a/.depend
+++ b/.depend
@@ -3316,6 +3316,8 @@ contrib/interface/debug_tac.cmo: parsing/grammar.cma
 contrib/interface/debug_tac.cmx: parsing/grammar.cma
 contrib/interface/centaur.cmo: parsing/grammar.cma
 contrib/interface/centaur.cmx: parsing/grammar.cma
+contrib/interface/explication.cmo: 
+contrib/interface/explication.cmx: 
 parsing/lexer.cmo: 
 parsing/lexer.cmx: 
 parsing/q_util.cmo: 
diff --git a/.depend.camlp4 b/.depend.camlp4
index bbdeaa7bea..d82fe11913 100644
--- a/.depend.camlp4
+++ b/.depend.camlp4
@@ -17,6 +17,7 @@ contrib/funind/tacinv.ml: parsing/grammar.cma
 contrib/first-order/g_ground.ml: parsing/grammar.cma
 contrib/interface/debug_tac.ml: parsing/grammar.cma
 contrib/interface/centaur.ml: parsing/grammar.cma
+contrib/interface/explication.ml: 
 parsing/lexer.ml: 
 parsing/q_util.ml: 
 parsing/q_coqast.ml: 
-- 
cgit v1.2.3