[nongnu] elpa/proof-general df19c7ba0e 4/4: Merge pull request #630 from ProofGeneral/update-readme

[ELPA Syncer]

branch: elpa/proof-general
commit df19c7ba0eadf9f47e9dd757a7d0350fc967da99
Merge: 72d7066e46 6d948bcb9f
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: GitHub <noreply@github.com>

    Merge pull request #630 from ProofGeneral/update-readme
    
    docs: Update README.md
---
 README.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/README.md b/README.md
index 26d66a2bb5..b4aa2e8be3 100644
--- a/README.md
+++ b/README.md
@@ -15,15 +15,13 @@ This is version 4.5-git of Proof General.
 
 Two editions of Proof General are currently available:
 
-* the (legacy) REPL-based, stable version of Proof General,
+* the (standard) REPL-based, stable version of Proof General,
   gathered in the
-  [master](https://github.com/ProofGeneral/PG/tree/master) branch, and
-  licensed under GPLv2;
-* the (newest) Coq-specific, experimental version of Proof General,
+  [master](https://github.com/ProofGeneral/PG/tree/master) branch;
+* the (unmaintained) Coq-specific, experimental version of Proof General,
   supporting asynchronous proof processing,
   gathered in the
-  [async](https://github.com/ProofGeneral/PG/tree/async) branch, and
-  licensed under GPLv3+.
+  [async](https://github.com/ProofGeneral/PG/tree/async) branch.
 
 ## Installing Proof General
 
@@ -126,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: