File: copyright

package info (click to toggle)
minlog 4.0.99.20080304-4
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 5,596 kB
  • ctags: 3,597
  • sloc: lisp: 80,596; makefile: 250; sh: 11
file content (84 lines) | stat: -rw-r--r-- 3,359 bytes parent folder | download
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
This package was debianized by Freiric Barral <barral@math.lmu.de> on
Wed,  1 Nov 2006 19:26:10 +0100.

It was downloaded from http://www.minlog-system.de/

Here is a list of files followed by their respective copyright holder 
and license:


logical.scm:
bit access and operations for integers for Scheme

Copyright (C) 1991, 1993, 2001, 2003, 2005 Aubrey Jaffer

Permission to copy this software, to modify it, to redistribute it,
to distribute modified versions, and to use it for any purpose is
granted, subject to the following restrictions and understandings.
1.  Any copy made of this software must include this copyright notice
in full.
2.  I have made no warranty or representation that the operation of
this software will be error-free, and I am under no obligation to
rovide any services, by way of maintenance, update, or otherwise.
3.  In conjunction with products arising from the use of this
material, there shall be no use of my name in any advertising,
promotional, or sales literature without prior written consent in
each case.


pp-sexp.scm (modification of genwrite.scm):
generic write used by pretty-print and truncated-print.

Copyright (c) 1991, Marc Feeley

Author: Marc Feeley (feeley@iro.umontreal.ca)
Distribution restrictions: none
Modified for Minlog by Stefan Schimanski <schimans@math.lmu.de>
Taken from slib 2d6, genwrite.scm and pp.scm


lr-dvr.scm, lalr.scm:

Copyright (C) 1984, 1989, 1990 Free Software Foundation, Inc.          
   (for the Bison source code translated in Scheme)                    
Copyright (C) 1996 Dominique Boucher                                   
   (for the translation in Scheme)                                      

lalr.scm and lr-dvr.scm are free software; you can redistribute them
and/or modify them under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2, or (at
your option) any later version.  lalr.scm and lr-dvr.scm are
distributed in the hope that they will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.  You should have received a copy of the GNU General
Public License along with lalr.scm; see the file COPYING.  If not,
write to the Free Software Foundation, 675 Mass Ave, Cambridge, MA
02139, USA.  Dominique Boucher -- Universite de Montreal Send
questions, comments or suggestions to boucherd@iro.umontreal.ca

bussproofs.sty.  Version 0.6c:

(c) 1994,1995,1996. Copyright retained by Samuel R. Buss.

This software may be used and distributed freely, except that
if you make changes, you must change the file name to be different
than bussproofs.sty to avoid compatibility problems.
This is a *prerelease* version and is subject to change.
Please report comments and bugs to sbuss@ucsd.edu.



All other files have the following  copyright holder and license:

Copyright Holder: Helmut Schwichtenberg (schwicht@math.lmu.de) and
                  members of the logic group (logik@math.lmu.de)
		  minlog mail is minlog@mathematik.uni-muenchen.de

License:

You are free to distribute this software under the terms of the GNU
General Public License. 

On Debian systems, the complete text of the GNU General Public License
can be found in the file `/usr/share/common-licenses/GPL'.