I believe that ACL2 is GPLv2 in that same sense (except we do occasionally put up CCL images as well).
-- Matt X-Injected-Via-Gmane: http://gmane.org/ From: Raymond Toy <[email protected]> Date: Mon, 08 Nov 2010 06:28:10 -0500 X-Gmane-NNTP-Posting-Host: user-0c99ag2.cable.mindspring.com X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) Cc: Donald Winiecki <[email protected]>, [email protected] Sender: [email protected] X-SpamAssassin-Status: No, hits=-1.0 required=5.0 X-UTCS-Spam-Status: No, hits=-124 required=165 On 11/5/10 9:52 AM, Camm Maguire wrote: > Greetings, and thanks so much for this! > > I've been asked to query -- are there any GPLv2 only projects using > GCL? If so, please now so state. I think maxima is GPLv2 only. GCL isn't the only Lisp that can be used with maxima, but it has historically been the main lisp used to create binaries. Ray _______________________________________________ Gcl-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gcl-devel _______________________________________________ Gcl-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gcl-devel
