Add note about short list

1 files changed, 5 insertions, 0 deletions

diff --git a/AUTHORS b/AUTHORS
index d430bd57..ae8705ee 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -15,3 +15,8 @@ Previous Authors:
    David von Oheimb   (x-symbol)
    Dilip Sequeira     (lego)
    Graham Dutton      (web support)
+
+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.