1 files changed, 2 insertions, 0 deletions

diff --git a/README b/README
index e4b00ac4..b7c2f9cd 100644
--- a/README
+++ b/README
@@ -13,6 +13,8 @@ Send ideas, comments, patches, code to proofgen@dcs.ed.ac.uk.
 
 See INSTALL for installation details.
 
+See COPYING for license details.
+
 See doc/ for documentation of Proof General.