From 4e46910029be4738d2002d701cda99986b87e610 Mon Sep 17 00:00:00 2001
From: glondu
Date: Tue, 18 Dec 2007 12:59:00 +0000
Subject: Maj du lien vers coq-bugs dans Coqide. On devrait mettre une
 redirection a l'ancienne adresse...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10390 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/tutorial/Tutorial.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/tutorial/Tutorial.tex')

diff --git a/doc/tutorial/Tutorial.tex b/doc/tutorial/Tutorial.tex
index 4d6bbfa73a..6e913e7319 100755
--- a/doc/tutorial/Tutorial.tex
+++ b/doc/tutorial/Tutorial.tex
@@ -69,7 +69,7 @@ Coq <
 The first line gives a banner stating the precise version of \Coq~
 used. You should always return this banner when you report an
 anomaly to our hot-line \verb:coq-bugs@pauillac.inria.fr: or on our
-bug-tracking system~:\verb:http://coq.inria.fr/bin/coq-bugs:
+bug-tracking system~:\verb|http://logical.futurs.inria.fr/coq-bugs|
 
 \chapter{Basic Predicate Calculus}
 
-- 
cgit v1.2.3

