diff options
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} |