[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Gcl-devel] Re: [gnu.org #48656] Re: GCL compliance with GNU GPL
From: |
C Y |
Subject: |
RE: [Gcl-devel] Re: [gnu.org #48656] Re: GCL compliance with GNU GPL |
Date: |
Mon, 30 Jun 2003 19:58:36 -0700 (PDT) |
--- Mike Thomas <address@hidden> wrote:
> I also want to note that I agree with your basic sentiment:
>
> | I'm no lawyer, and will be happy
> | with anything that keeps everyone else happy :-).
>
> provided that there are no substantially negative flow on effects for
> our main "clients" - Maxima, ACL2 and Axiom.
Maxima and ACL2 are both GPL (I think ACL2 is GPL, yes?) so they should
be OK. Axiom's license:
http://savannah.nongnu.org/cgi-bin/viewcvs/axiom/axiom/license/LICENSE.AXIOM?rev=1.1&content-type=text/vnd.viewcvs-markup
doesn't seem to pose much of a problem either.
CY
__________________________________
Do you Yahoo!?
SBC Yahoo! DSL - Now only $29.95 per month!
http://sbc.yahoo.com