RE: [Gcl-devel] Re: [gnu.org #48656] Re: GCL compliance with GNU GPL

[C Y]

--- 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