clisp and the GPL
It looks like CogTool contains clisp, which is covered under the GPL. You should be providing the source to your clisp on the download page. Or, there are a few other options, explained here: http://www.softwarefreedom.org/resources/2008/compliance-guide.html
Thanks.
You're right, that seems to have been overlooked. We'll get that sorted out, and package up appropriate stuff and add it to the download page.
In the interim, or even after we get that sorted, it is available to all from our subversion repository. The current CogTool still uses a rather old CLISP, 2.38. Its sources are available from
http://cogtool.hcii.cs.cmu.edu/svn/vendor/clisp
We're in the process of trying to upgrade to a newer version for future releases, though that's proving more difficult than expected. Once we've got that figured out the new sources we're using will end up in the same place.
The sources for the latest shipping version of CogTool itself are available from
http://cogtool.hcii.cs.cmu.edu/svn/tags/1.0.4
But, as I said, we'll figure out how to package up everything for the 1.0.4 release, including the CLISP sources, and put it all on the download page.
Thanks for remindng us. CogTool is LGPL and we have made the source available in the past. I need to figure out where exactly to put the info about how to get it.