SHOP2 2.8.0 has been released and is available for download. Unfortunately, there seems to be a bug with the Sourceforge site such that the standard download button does not link to the latest release. We have a ticket in to the Sourceforge maintainers to get this fixed.
Meanwhile, to get the latest version of SHOP2, open the SHOP folder in the "files" section and grab that tarball.
We have just released a tarball of the Common Lisp version of SHOP2, version 2.0.1. See the release notes for details.
Note that we are not currently using the Sourceforge CVS, so the CVS version is far behind the release we have just sent out. Currently the developers are using a private subversion repository.
If there is substantial interest, we could probably provide some kind of subversion mirror here.
A maintenance release of JSHOP2GUI is now available for download.
Notable changes include: support for multiple planning problems in the same file, bug fix for ForAll when used with conjuctions, and broader use of generics.
A first release candidate for SHOP2 version 1.3 is now available for download. New features include ASDF system definition, and a regression test suite. Has been tested on Allegro Common Lisp and Steel Bank Common Lisp on Linux.