summaryrefslogtreecommitdiff
path: root/licenses/Mozart
diff options
context:
space:
mode:
Diffstat (limited to 'licenses/Mozart')
-rw-r--r--licenses/Mozart42
1 files changed, 0 insertions, 42 deletions
diff --git a/licenses/Mozart b/licenses/Mozart
deleted file mode 100644
index cb3c842baa3a..000000000000
--- a/licenses/Mozart
+++ /dev/null
@@ -1,42 +0,0 @@
- License Agreement
- for
-Mozart, an implementation of Oz 3
-----------------------------------
-
-This software and its documentation are copyrighted
-by Saarland University, the Swedish Institute of
-Computer Science (SICS), the German Research Center
-for Artificial Intelligence (DFKI), and other
-parties. The following terms apply to all files
-associated with the software unless explicitly
-disclaimed in individual files (see the file
-LICENSE-others for a list of these exceptions).
-
-The authors hereby grant permission to use, copy,
-modify, distribute, and license this software and
-its documentation for any purpose, provided that
-existing copyright notices are retained in all
-copies and that this notice is included verbatim
-in any distributions. No written agreement,
-license, or royalty fee is required for any of the
-authorized uses. Modifications to this software
-may be copyrighted by their authors and need not
-follow the licensing terms described here,
-provided that the new terms are clearly indicated
-on the first page of each file where they apply.
-
-IN NO EVENT SHALL THE AUTHORS OR DISTRIBUTORS BE
-LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL,
-INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT
-OF THE USE OF THIS SOFTWARE, ITS DOCUMENTATION, OR
-ANY DERIVATIVES THEREOF, EVEN IF THE AUTHORS HAVE
-BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-
-THE AUTHORS AND DISTRIBUTORS SPECIFICALLY DISCLAIM
-ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
-IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR
-A PARTICULAR PURPOSE, AND NON-INFRINGEMENT. THIS
-SOFTWARE AND ITS DOCUMENTATION ARE PROVIDED ON AN
-"AS IS" BASIS, AND THE AUTHORS AND DISTRIBUTORS
-HAVE NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT,
-UPDATES, ENHANCEMENTS, OR MODIFICATIONS.