From 30275f135197cf299438891cac1fbd34c74b4267 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 10 Dec 2010 15:08:52 +0000
Subject: Add note about short list

---
 AUTHORS | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'AUTHORS')

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.
-- 
cgit v1.2.3