From 88ad2844b6480bd933c8a7bee29ec4c63a13fadf Mon Sep 17 00:00:00 2001
From: coq
Date: Tue, 31 Jan 2006 23:36:04 +0000
Subject: maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7968 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .depend     | 12 ++++++++++++
 make.result |  2 +-
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/.depend b/.depend
index 156223c304..6323a4810d 100644
--- a/.depend
+++ b/.depend
@@ -1003,6 +1003,12 @@ parsing/extend.cmo: lib/util.cmi interp/topconstr.cmi interp/ppextend.cmi \
     lib/pp.cmi kernel/names.cmi interp/genarg.cmi parsing/extend.cmi 
 parsing/extend.cmx: lib/util.cmx interp/topconstr.cmx interp/ppextend.cmx \
     lib/pp.cmx kernel/names.cmx interp/genarg.cmx parsing/extend.cmi 
+parsing/g_ascii_syntax.cmo: lib/util.cmi interp/topconstr.cmi \
+    pretyping/rawterm.cmi lib/pp.cmi parsing/pcoq.cmi interp/notation.cmi \
+    kernel/names.cmi library/libnames.cmi interp/coqlib.cmi lib/bigint.cmi 
+parsing/g_ascii_syntax.cmx: lib/util.cmx interp/topconstr.cmx \
+    pretyping/rawterm.cmx lib/pp.cmx parsing/pcoq.cmx interp/notation.cmx \
+    kernel/names.cmx library/libnames.cmx interp/coqlib.cmx lib/bigint.cmx 
 parsing/g_constr.cmo: lib/util.cmi interp/topconstr.cmi kernel/term.cmi \
     pretyping/rawterm.cmi lib/pp.cmi parsing/pcoq.cmi kernel/names.cmi \
     library/libnames.cmi parsing/lexer.cmi lib/bigint.cmi 
@@ -1047,6 +1053,12 @@ parsing/g_rsyntax.cmo: lib/util.cmi interp/topconstr.cmi \
 parsing/g_rsyntax.cmx: lib/util.cmx interp/topconstr.cmx \
     pretyping/rawterm.cmx lib/pp.cmx parsing/pcoq.cmx interp/notation.cmx \
     kernel/names.cmx library/libnames.cmx lib/bigint.cmx 
+parsing/g_string_syntax.cmo: lib/util.cmi interp/topconstr.cmi \
+    pretyping/rawterm.cmi lib/pp.cmi parsing/pcoq.cmi interp/notation.cmi \
+    kernel/names.cmi library/libnames.cmi parsing/g_ascii_syntax.cmo 
+parsing/g_string_syntax.cmx: lib/util.cmx interp/topconstr.cmx \
+    pretyping/rawterm.cmx lib/pp.cmx parsing/pcoq.cmx interp/notation.cmx \
+    kernel/names.cmx library/libnames.cmx parsing/g_ascii_syntax.cmx 
 parsing/g_tactic.cmo: lib/util.cmi interp/topconstr.cmi proofs/tacexpr.cmo \
     pretyping/rawterm.cmi lib/pp.cmi parsing/pcoq.cmi kernel/names.cmi \
     parsing/lexer.cmi interp/genarg.cmi 
diff --git a/make.result b/make.result
index 11e1944f73..261ef12873 100644
--- a/make.result
+++ b/make.result
@@ -1 +1 @@
-Tue 31/01/2006 00:30: Success
+Wed 01/02/2006 00:30: Success
-- 
cgit v1.2.3