summaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2010-10-14 17:51:11 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2010-10-14 17:51:11 +0200
commit3e96002677226c0cdaa8f355938a76cfb37a722a (patch)
tree3ca96e142fdb68e464d2f5f403f315282b94f922 /README
parentf18e6146f4fd6ed5b8ded10a3e602f5f64f919f4 (diff)
Imported Upstream version 8.3upstream/8.3
Diffstat (limited to 'README')
-rw-r--r--README24
1 files changed, 10 insertions, 14 deletions
diff --git a/README b/README
index 4f4afa5b..ccfe1ecc 100644
--- a/README
+++ b/README
@@ -27,8 +27,7 @@ CHANGES.
AVAILABILITY.
=============
- Coq is available at http://coq.inria.fr, or, for older versions at
- ftp://ftp.inria.fr/INRIA/LogiCal/coq.
+ Coq is available at http://coq.inria.fr/download.
THE COQ CLUB.
@@ -38,7 +37,7 @@ THE COQ CLUB.
discuss questions about the Coq system and related topics. The submission
address is:
- coq-club@coq.inria.fr
+ coq-club@inria.fr
The topics to be discussed in the club should include:
@@ -53,13 +52,10 @@ 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, 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.
+ 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.
BUGS REPORT.
@@ -67,8 +63,8 @@ BUGS REPORT.
Send your bug reports by filling a form at
- http://logical.saclay.inria.fr/coq-bugs
+ http://coq.inria.fr/bugs/
- 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.
+ 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.