From a7394b8c2a664aa9882240ef549770ef41e54a12 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 19 Jul 2000 17:04:23 +0000 Subject: Fix date --- COPYING | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'COPYING') diff --git a/COPYING b/COPYING index e6c35bf1..76c613a7 100644 --- a/COPYING +++ b/COPYING @@ -1,4 +1,4 @@ -Proof General is Copyright (C) 1998,1999 LFCS, University of Edinburgh. +Proof General is Copyright (C) 1998-2000 LFCS, University of Edinburgh. You are allowed to freely copy and modify this software, providing you observe these conditions: -- cgit v1.2.3