summaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
Diffstat (limited to 'README')
-rw-r--r--README24
1 files changed, 14 insertions, 10 deletions
diff --git a/README b/README
index ccfe1ecc..4f4afa5b 100644
--- a/README
+++ b/README
@@ -27,7 +27,8 @@ CHANGES.
AVAILABILITY.
=============
- Coq is available at http://coq.inria.fr/download.
+ Coq is available at http://coq.inria.fr, or, for older versions at
+ ftp://ftp.inria.fr/INRIA/LogiCal/coq.
THE COQ CLUB.
@@ -37,7 +38,7 @@ THE COQ CLUB.
discuss questions about the Coq system and related topics. The submission
address is:
- coq-club@inria.fr
+ coq-club@coq.inria.fr
The topics to be discussed in the club should include:
@@ -52,10 +53,13 @@ THE COQ CLUB.
* theoretical questions about typed lambda-calculi which are
closely related to Coq.
- To be added to, or removed from, the mailing list, go to
- https://sympa-roc.inria.fr/wws/info/coq-club or write to
- sympa@inria.fr with subject either "subscribe coq-club" or
- "unsubscribe coq-club". List is moderated for non-subscribers.
+ To be added to, or removed from, the mailing list, please write to:
+
+ coq-club-request@coq.inria.fr
+
+ Please use also this address for any questions/suggestions about the
+ Coq Club. It might sometimes take a few days before your messages get
+ forwarded.
BUGS REPORT.
@@ -63,8 +67,8 @@ BUGS REPORT.
Send your bug reports by filling a form at
- http://coq.inria.fr/bugs/
+ http://logical.saclay.inria.fr/coq-bugs
- To be effective, bug reports should mention the Coq version (coqtop -v),
- the configuration used, and include a complete source example
- leading to the bug.
+ To be effective, bug reports should mention the Caml version used
+ to compile and run Coq, the Coq version (coqtop -v), the configuration
+ used, and include a complete source example leading to the bug.