[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general 6d948bcb9f 3/4: docs: Mention the Zulip chat
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general 6d948bcb9f 3/4: docs: Mention the Zulip chat of Coq |
Date: |
Wed, 9 Feb 2022 13:05:15 -0500 (EST) |
branch: elpa/proof-general
commit 6d948bcb9f934ecb9ce0bc61b5651417c7b435d9
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
docs: Mention the Zulip chat of Coq
---
README.md | 2 ++
1 file changed, 2 insertions(+)
diff --git a/README.md b/README.md
index 978d642c12..b4aa2e8be3 100644
--- a/README.md
+++ b/README.md
@@ -124,6 +124,8 @@ See:
Links:
* [https://proofgeneral.github.io/doc](https://proofgeneral.github.io/doc) for
online documentation of Proof General
+* [https://coq.zulipchat.com](https://coq.zulipchat.com/) for chatting with PG
maintainers and developers on the Zulip chat of Coq (in streams [Proof General
devs](https://coq.zulipchat.com/#narrow/stream/304020-Proof-General.20devs) and
[Proof General
users](https://coq.zulipchat.com/#narrow/stream/304019-Proof-General.20users))
+* [https://coq.gitlab.io/zulip-archive](https://coq.gitlab.io/zulip-archive)
for the corresponding public Zulip archive (read-only, no authentication
required)
Supported proof assistants: