From d859eb394dbd5a8423a097958deddf396b3cb756 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 7 Oct 1998 13:57:43 +0000
Subject: Note about COPYING.

---
 README | 2 ++
 1 file changed, 2 insertions(+)

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