[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:
doesn't seem to pose much of a problem either.


Do you Yahoo!?
SBC Yahoo! DSL - Now only $29.95 per month!

reply via email to

[Prev in Thread] Current Thread [Next in Thread]