diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-12-17 10:37:26 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-17 10:37:26 +0000 |
commit | eb42cb63bd8629ddab05bf7e3c13e2188a7f5374 (patch) | |
tree | 76eb1965a15b69c8ad65eb1c2a5038123c0ac961 /COPYING | |
parent | 22fb8dd32639c035503c5c2cbadf967a3ae11c69 (diff) |
Fixed bugs.
Diffstat (limited to 'COPYING')
-rw-r--r-- | COPYING | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -16,11 +16,12 @@ 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. -5. The licensee may modify Proof General on condition that any +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. +such that they may be incorporated within future releases of +Proof General and licenced under the conditions of this licence +agreement. 6. You will acknowledge LFCS and The University of Edinburgh as the -designers and implementors of Proof in any relevant document or -publication. +designers and implementors of Proof General in any relevant document +or publication. |