From 9b85ea69b030438e5a4a7e60f338488b70ebd643 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 21 Oct 1999 18:02:20 +0000 Subject: Altered slightly to remove contentious phrase. --- COPYING | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'COPYING') diff --git a/COPYING b/COPYING index 4c53259b..e6c35bf1 100644 --- a/COPYING +++ b/COPYING @@ -1,15 +1,15 @@ -Proof General is Copyright (C) 1998,1999 LFCS. +Proof General is Copyright (C) 1998,1999 LFCS, University of Edinburgh. -You are allowed to freely copy and modify this software -for non-commercial use, providing you observe these -conditions: +You are allowed to freely copy and modify this software, providing you +observe these conditions: 1. Title to and copyright of the Proof General system remains with the Laboratory for Foundations of Computer Science at the University of Edinburgh. 2. Proof General may be used freely for research and educational -purposes. +purposes. For commercial purposes another license must be applied +for. 3. You accept Proof General "as is". The University of Edinburgh provides no warranty of any kind in respect of Proof General. -- cgit v1.2.3