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 <toy.raym...@gmail.com> 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 <dwinie...@boisestate.edu>, Gcl-devel@gnu.org Sender: gcl-devel-bounces+kaufmann=cs.utexas....@gnu.org 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 Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
