diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-01-11 16:46:00 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-01-11 16:46:00 +0000 |
| commit | 13f4c795630b1071b749ae78b82a94f12d3973fe (patch) | |
| tree | 88779fbfa153acdc412006b516c80c6d56a33a2c /COPYING | |
| parent | ee7421cac1a96ac7d4d931d4021be6d15516e814 (diff) | |
Fix numbering
Diffstat (limited to 'COPYING')
| -rw-r--r-- | COPYING | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,4 +1,4 @@ -Proof General is Copyright (C) 1998-2001 LFCS, University of Edinburgh. +Proof General is Copyright (C) 1998-2002 LFCS, University of Edinburgh. You are allowed to freely copy and modify this software, providing you observe these conditions: @@ -16,11 +16,11 @@ provides no warranty of any kind in respect of Proof General. Nevertheless you are encouraged to report to LFCS any problems with or suggestions for improvement of Proof General. -5. You may freely modify Proof General on condition that any +4. You may freely modify Proof General on condition that any significant changes are notified to LFCS and made available to LFCS such that they may be incorporated within future releases of Proof General under these copying conditions. -6. You will acknowledge LFCS and The University of Edinburgh as the +5. You will acknowledge LFCS and The University of Edinburgh as the designers and implementors of Proof General in any relevant document or publication. |