diff options
Diffstat (limited to 'COPYING')
| -rw-r--r-- | COPYING | 9 |
1 files changed, 4 insertions, 5 deletions
@@ -12,15 +12,14 @@ Edinburgh. purposes. 3. You accept Proof General "as is". The University of Edinburgh -makes no warranty in respect of Proof General. Nevertheless you are -encouraged to report to LFCS any problems with or suggestions for -improvement of Proof General. +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 significant changes are notified to LFCS and made available to LFCS such that they may be incorporated within future releases of -Proof General and licenced under the conditions of this licence -agreement. +Proof General under these copying conditions. 6. You will acknowledge LFCS and The University of Edinburgh as the designers and implementors of Proof General in any relevant document |