From eb42cb63bd8629ddab05bf7e3c13e2188a7f5374 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 17 Dec 1998 10:37:26 +0000 Subject: Fixed bugs. --- COPYING | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'COPYING') diff --git a/COPYING b/COPYING index 56dfc497..cd626661 100644 --- a/COPYING +++ b/COPYING @@ -16,11 +16,12 @@ makes no warranty in respect of Proof General. Nevertheless you are encouraged to report to LFCS any problems with or suggestions for improvement of Proof General. -5. The licensee may modify Proof General on condition that any +5. You may freely modify Proof General on condition that any significant changes are notified to LFCS and made available to LFCS -such that they may be incorporated within future releases of Proof -General and licenced under the conditions of this licence agreement. +such that they may be incorporated within future releases of +Proof General and licenced under the conditions of this licence +agreement. 6. You will acknowledge LFCS and The University of Edinburgh as the -designers and implementors of Proof in any relevant document or -publication. +designers and implementors of Proof General in any relevant document +or publication. -- cgit v1.2.3