aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorThéo Zimmermann2019-02-28 15:55:32 +0100
committerThéo Zimmermann2019-02-28 15:59:18 +0100
commitc5ea163f16392e230c6791275fc192da9c524dcb (patch)
tree946e8a4c02919bf4d93e75419ddfa980429105fe /README.md
parent355f6eceb666964ad060caf557903d8f82ec1755 (diff)
Refresh README.
Diffstat (limited to 'README.md')
-rw-r--r--README.md22
1 files changed, 11 insertions, 11 deletions
diff --git a/README.md b/README.md
index f332bf5db0..ef80736e1a 100644
--- a/README.md
+++ b/README.md
@@ -68,25 +68,25 @@ and the [Coq FAQ](https://github.com/coq/coq/wiki/The-Coq-FAQ),
for additional user-contributed documentation.
## Changes
+
There is a file named [`CHANGES.md`](CHANGES.md) that explains the differences and the
incompatibilities since last versions. If you upgrade Coq, please read
it carefully.
-## 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
-subscription link can be found at [coq.inria.fr/community](http://coq.inria.fr/community).
+## Questions and discussion
+
+We have a number of channels to reach the user community and the
+development team:
-The topics to be discussed in the club should include:
+- Our [Discourse forum](https://coq.discourse.group).
+- Our mailing list, the [Coq-Club](https://sympa.inria.fr/sympa/info/coq-club).
+- Our [Gitter channel][gitter-link], which is a good way to reach
+ developers for quick chat and development questions.
-* technical problems;
-* questions about proof developments;
-* suggestions and questions about the implementation;
-* announcements of proofs;
-* theoretical questions about typed lambda-calculi which are
- closely related to Coq.
+See also [coq.inria.fr/community](https://coq.inria.fr/community.html).
## Bugs report
+
Please report any bug / feature request in [our issue tracker](https://github.com/coq/coq/issues).
To be effective, bug reports should mention the OCaml version used