diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 14:57:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 14:57:10 +0000 |
commit | 4162624976e6339d0a835f8ab3d213da29f63647 (patch) | |
tree | a1146065e1a9164c30fcaf7635ce36dd309a2ab9 /COPYING | |
parent | 08ab36ffac1ca711b5630dfc7e1d8a6cc8486381 (diff) |
Updates for new web pages, todo list.
Diffstat (limited to 'COPYING')
-rw-r--r-- | COPYING | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |