diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-05-29 17:53:11 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-05-29 17:53:11 +0000 |
| commit | 60cb393e8a91a792344538de841e55a7655441a6 (patch) | |
| tree | c6eb38477d0e956ae8a99b629ac48b3290e2113f /COPYING | |
| parent | 6141b20b97247820a388d2b8680f24711b404576 (diff) | |
Date 2001
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-2000 LFCS, University of Edinburgh. +Proof General is Copyright (C) 1998-2001 LFCS, University of Edinburgh. You are allowed to freely copy and modify this software, providing you observe these conditions: |