Updated

1 files changed, 4 insertions, 5 deletions

diff --git a/COPYING b/COPYING
index 313f9451..4c53259b 100644
--- a/COPYING
+++ b/COPYING
@@ -12,15 +12,14 @@ Edinburgh.
 purposes.
 
 3. You accept Proof General "as is".  The University of Edinburgh
-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.
+provides no warranty of any kind in respect of Proof General.
+Nevertheless you are encouraged to report to LFCS any problems with or
+suggestions for improvement of Proof General.
 
 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.
+Proof General under these copying conditions.
 
 6. You will acknowledge LFCS and The University of Edinburgh as the
 designers and implementors of Proof General in any relevant document