diff options
Diffstat (limited to 'licenses/noweb')
1 files changed, 22 insertions, 0 deletions
diff --git a/licenses/noweb b/licenses/noweb
new file mode 100644
index 000000000000..e1f338458b28
--- /dev/null
+++ b/licenses/noweb
@@ -0,0 +1,22 @@
+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.