aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--COPYING2
1 files changed, 1 insertions, 1 deletions
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: