diff options
| author | glondu | 2007-12-18 12:59:00 +0000 |
|---|---|---|
| committer | glondu | 2007-12-18 12:59:00 +0000 |
| commit | 4e46910029be4738d2002d701cda99986b87e610 (patch) | |
| tree | cd2bef783ac41523c8930f81852a112ceb27d5c5 /doc/tutorial/Tutorial.tex | |
| parent | f3eaf2869e84c942d56a7fe0cc459d9943e4b059 (diff) | |
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
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
| -rwxr-xr-x | doc/tutorial/Tutorial.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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} |