From 8e767acc26cb2335f1a8dac3c4c184e2cc0b64c4 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 7 Jul 2014 21:24:28 +0200
Subject: Updating README wrt coq-club and ftp.

---
 README | 20 ++++++--------------
 1 file changed, 6 insertions(+), 14 deletions(-)

diff --git a/README b/README
index 1755be5f74..293ee4c8f2 100644
--- a/README
+++ b/README
@@ -27,18 +27,15 @@ CHANGES.
 AVAILABILITY.
 =============
 
-   Coq is available at http://coq.inria.fr, or, for older versions at
-   ftp://ftp.inria.fr/INRIA/Projects/LogiCal/coq.
+   Coq is available from http://coq.inria.fr.
 
 
 THE COQ CLUB.
 =============
 
-   The Coq Club moderated mailing list is meant to be a standard way to
-   discuss questions about the Coq system and related topics. The submission
-   address is:
-
-	coq-club@inria.fr
+   The Coq Club moderated mailing list is meant to be a standard way
+   to discuss questions about the Coq system and related topics. The
+   subscription link can be found at http://coq.inria.fr/community.
 
    The topics to be discussed in the club should include:
 
@@ -53,13 +50,8 @@ 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@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.
+   For any questions/suggestions about the Coq Club, please write to
+   coq-club-request@inria.fr.
 
 
 BUGS REPORT.
-- 
cgit v1.2.3