From 4162624976e6339d0a835f8ab3d213da29f63647 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 24 Jun 1999 14:57:10 +0000 Subject: Updates for new web pages, todo list. --- COPYING | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'COPYING') diff --git a/COPYING b/COPYING index cd626661..313f9451 100644 --- a/COPYING +++ b/COPYING @@ -1,4 +1,4 @@ -Proof General is Copyright (C) 1998 LFCS. +Proof General is Copyright (C) 1998,1999 LFCS. You are allowed to freely copy and modify this software for non-commercial use, providing you observe these -- cgit v1.2.3