+++ /dev/null
-Noweb is copyright 1989-2000 by Norman Ramsey. All rights reserved.
-
-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.