[nongnu] elpa/proof-general f6dd91b893 2/4: docs: Remove obsolete mention of GPLv2 in README.md

[ELPA Syncer]

branch: elpa/proof-general
commit f6dd91b893c7a9530945df84980a6bb4b5815508
Author: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-dorel@irit.fr>

    docs: Remove obsolete mention of GPLv2 in README.md
---
 README.md | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/README.md b/README.md
index 26d66a2bb5..978d642c12 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