From 60cb393e8a91a792344538de841e55a7655441a6 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 29 May 2001 17:53:11 +0000 Subject: Date 2001 --- COPYING | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'COPYING') diff --git a/COPYING b/COPYING index 76c613a7..51dadccb 100644 --- a/COPYING +++ b/COPYING @@ -1,4 +1,4 @@ -Proof General is Copyright (C) 1998-2000 LFCS, University of Edinburgh. +Proof General is Copyright (C) 1998-2001 LFCS, University of Edinburgh. You are allowed to freely copy and modify this software, providing you observe these conditions: -- cgit v1.2.3