diff options
Diffstat (limited to 'README')
-rw-r--r-- | README | 6 |
1 files changed, 1 insertions, 5 deletions
@@ -68,11 +68,7 @@ BUGS REPORT. Send your bug reports by filling a form at - http://coq.inria.fr/bin/coq-bugs - - or by E-mail to - - coq-bugs@coq.inria.fr + http://logical.futurs.inria.fr/coq-bugs To be effective, bug reports should mention the Caml version used to compile and run Coq, the Coq version (coqtop -v), the configuration |