[nongnu] elpa/proof-general 497709f 10/13: AUTHORS: Add notes about copyright status

[ELPA Syncer]

branch: elpa/proof-general
commit 497709fbb5e7dd14c6959f558ac86915ea893639
Author: Stefan Monnier <monnier@iro.umontreal.ca>
Commit: Stefan Monnier <monnier@iro.umontreal.ca>

    AUTHORS: Add notes about copyright status
---
 AUTHORS | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/AUTHORS b/AUTHORS
index 58978d2..eac073a 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -26,3 +26,33 @@ These are the main "official" authors of Proof General, but 
many more
 people have contributed, some very significantly.  We're grateful to
 everyone who has!  Please see the CREDITS section in the manual for a
 more complete list.
+
+====================================================================
+
+Notes regarding the License change to GPLv3+:
+
+Contributors who are positively known to be OK with relicensing:
+
+    Stefan Monnier
+    Clément Pit-Claudel
+    Paul Steckler
+    Erik Martin-Dorel
+    Pierre Courtieu
+    Jim Fehrle
+    stardiviner <numbchild@gmail.com>
+    Pierre-Yves Strub
+    Hendrik Tews
+    David Aspinall
+    Cyril Anaclet
+    Christophe Raffalli
+    Makarius Wenzel
+
+## New provers compared to PG-async: phox easycrypt pghaskell pgocaml pgshell
+
+Git history:
+
+    git log -- phox easycrypt pghaskell pgocaml pgshell |
+        grep 'Author:' | sort -u
+
+shows that these have only received contributions from people in the
+above list.