2017-03-15 13:30:16 +01:00
|
|
|
Noweb is copyright 1989-2000 by Norman Ramsey. All rights reserved.
|
2018-12-19 03:04:43 +01:00
|
|
|
|
|
|
|
Noweb is protected by copyright. It is not public-domain software or shareware,
|
|
|
|
and it is not protected by a ``copyleft'' agreement like the one used by the
|
|
|
|
Free Software Foundation.
|
|
|
|
|
|
|
|
Noweb is available free for any use in any field of endeavor. You may redistribute
|
|
|
|
noweb in whole or in part provided you acknowledge its source and include
|
|
|
|
this COPYRIGHT file. You may modify noweb and create derived works, provided
|
|
|
|
you retain this copyright notice, but the result may not be called noweb without
|
|
|
|
my written consent.
|
|
|
|
|
|
|
|
You may sell noweb if you wish. For example, you may sell a CD-ROM including
|
|
|
|
noweb.
|
|
|
|
|
|
|
|
You may sell a derived work, provided that all source code for your derived
|
|
|
|
work is available, at no additional charge, to anyone who buys your derived
|
|
|
|
work in any form. You must give permisson for said source code to be used
|
|
|
|
and modified under the terms of this license. You must state clearly that
|
|
|
|
your work uses or is based on noweb and that noweb is available free of change.
|
|
|
|
You must also request that bug reports on your work be reported to you.
|