diff options
| author |  Stephane Glondu <steph@glondu.net> | 2013-05-08 18:03:54 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2013-05-08 18:03:54 +0200 |
| commit | db38bb4ad9aff74576d3b7f00028d48f0447d5bd (patch) | |
| tree | 09dafc3e5c7361d3a28e93677eadd2b7237d4f9f /README | |
| parent | 6e34b272d789455a9be589e27ad3a998cf25496b (diff) | |
| parent | 499a11a45b5711d4eaabe84a80f0ad3ae539d500 (diff) | |
Merge branch 'experimental/upstream' into upstream
Diffstat (limited to 'README')
| -rw-r--r-- | README | 22 |
1 files changed, 13 insertions, 9 deletions
@@ -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. @@ -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@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://coq.inria.fr/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. |