From 0892fb3a8b8be082ae18184b95435b6d7269ed00 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 4 Feb 2005 18:26:21 +0000
Subject: Ajout g_xml.ml4 et cic2Xml.ml

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

(limited to '.depend.camlp4')

diff --git a/.depend.camlp4 b/.depend.camlp4
index a34765fc7..7a025bcd8 100644
--- a/.depend.camlp4
+++ b/.depend.camlp4
@@ -27,6 +27,7 @@ parsing/g_minicoq.ml:
 parsing/g_vernac.ml: 
 parsing/g_proofs.ml: 
 parsing/g_cases.ml: 
+parsing/g_xml.ml: 
 parsing/g_constr.ml: 
 parsing/g_module.ml: 
 parsing/g_tactic.ml: 
-- 
cgit v1.2.3