1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
This is the Debian prepackaged version of the Mozart Programming System.
It has been built from sources obtained from the Mozart CVS; see
http://www.mozart-oz.org/download/
See http://www.mozart-oz.org/people.html for a list of original authors.
The package was originally put together by Ralf Treinen <treinen@debian.org>,
and then maintained heroically by Marco Kuhlmann <mk@debian.org>.
It has been maintained by Kevin Glynn <glynn@info.ucl.ac.be> since version 1.3.0.
Changes with respect to the original sources:
* added Debian specific package maintenance files
* added man pages for oz, convertTextPickle, and ozdoc
* debianised the source tree (see debian/debianise.diff)
* make configure recognise new versions of bison (see debian/bison.diff)
* make configure recognise new versions of flex (see debian/flex.diff)
Copyright:
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.
The following is a list of files in the Mozart source tree that
are not covered by the Mozart LICENSE. Note that the Mozart
system itself is independent of these packages which are provided
as convenient tools:
mozart/platform/tools/gump/ozflex/*
See the file mozart/platform/tools/gump/ozflex/COPYING
(SLIGHTLY MODIFIED VERSION OF BSD LICENSE)
mozart/platform/tools/gump/ozbison/*
See the file mozart/platform/tools/gump/ozbison/COPYING
(GNU GENERAL PUBLIC LICENSE)
mozart/platform/wish/unixMain.cc
See there
(MODIFIED BSD LICENSE)
mozart/doc/tcltk/tcl8.0-tk8.0-man-html.tar.gz
See the included file copyright.htm
(MODIFIED BSD LICENSE)
|
