diff options
-rw-r--r-- | COPYING | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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: |